Skip to main content
SpringerLink
Log in

Formal Concept Analysis Methods for Dynamic Conceptual Graphs

  • Conference paper
  • First Online:
Conceptual Structures: Broadening the Base (ICCS 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2120))

Included in the following conference series:

Abstract

Conceptual Graphs (CG), originally developed for static data representation have been extended to cope with dynamical aspects. This paper adresses two questions connected with the topic: How can implicational knowledge about a system’s states and behaviour be derived from a dynamic CG description and how can the CG specification process be supported by automatic or semiautomatic algorithms? Based on Formal Concept Analysis (FCA) we propose methods for both problems. Guided by an example we introduce two kinds of formal contexts containig the dynamic system’s information: state contexts and action contexts. From these the complete implicational knowledge can be derived. Combining the techniques of attribute exploration and determination of a formal context’s concepts, we demonstrate a procedure which interactively asks for the validity of implications and from this information designs a dynamic CG system with the desired properties.

Supported by DFG/Graduiertenkolleg.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.F. Baget, D. Genest, M.L. Mugnier: A Pure Graph-Based Solution to the SCG-1 Initiative. In: W. Tepfenhart, W. Cyre (eds.): Conceptual Structures: Standards and Practices, LNAI 1640, Springer, Berlin-Heidelberg, pp. 335–376, 1999

    Google Scholar 

  2. B. Baumgarten: Petri-Netze. Grundlagen und Anwendungen. Spektrum, Heidelberg, 1996.

    Google Scholar 

  3. A. Chella, M. Frixione, S. Gaglio: Towards a Conceptual Representation of Actions. In: E. Lamina, P. Mello (eds.): AI*IA 99, LNAI 1792, Springer, Berlin-Heidelberg, pp. 333–344, 2000

    Chapter  Google Scholar 

  4. H. S. Delugach: Dynamic Assertion and Retraction of Conceptual Graphs. In: Eileen C. Way (ed.): Proc. Sixth Annual Workshop on Conceptual Graphs. SUNY Binghamton, Binghamton, New York, pp. 15–26, 1991.

    Google Scholar 

  5. B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg 1999.

    MATH  Google Scholar 

  6. G. W. Mineau: From Actors to Processes: The representation of Dynamic Knowledge Using Conceptual Graphs. In: M.L. Mugnier, M. Chein (eds.): Conceptual Structures: Theory, Tools and Application, LNAI 1453, Springer, Berlin-Heidelberg, pp. 198–208, 1998.

    Chapter  Google Scholar 

  7. J. F. Sowa: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984

    MATH  Google Scholar 

  8. P. H. Starke: Analyse von Petri-Netz-Modellen. Teubner, Stuttgart, 1990.

    MATH  Google Scholar 

  9. K. E. Wolff: Towards a Conceptual System Theory. In: Proc. Third International Conference on Computing Anticipatory Systems. American Institute of Physics, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Algebra Department of Mathematics and Natural Sciences, Dresden University of Technology, Germany

    Bernhard Ganter & Sebastian Rudolph

Authors
  1. Bernhard Ganter
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sebastian Rudolph
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, TH N-351, University of Alabama in Huntsville, Huntsville, AL, 35899, USA

    Harry S. Delugach

  2. Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Universität Karlsruhe (TH), 76128, Karlsruhe, Germany

    Gerd Stumme

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ganter, B., Rudolph, S. (2001). Formal Concept Analysis Methods for Dynamic Conceptual Graphs. In: Delugach, H.S., Stumme, G. (eds) Conceptual Structures: Broadening the Base. ICCS 2001. Lecture Notes in Computer Science(), vol 2120. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44583-8_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-44583-8_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42344-7

  • Online ISBN: 978-3-540-44583-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation