Formal Concept Analysis Methods for Dynamic Conceptual Graphs

@inproceedings{Ganter2001FormalCA,
  title={Formal Concept Analysis Methods for Dynamic Conceptual Graphs},
  author={Bernhard Ganter and Sebastian Rudolph},
  booktitle={ICCS},
  year={2001}
}
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 speci cation 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… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Towards a Conceptual System Theory

  • K. E. Wo
  • Proc. Third International Conference on Computing…
  • 2000
1 Excerpt

Delugach : Dynamic Assertion and Retraction of Conceptual Graphs

  • S. H.
  • 2000

Petri-Netze

  • B. Baumgarten
  • Grundlagen und Anwendungen. Spektrum, Heidelberg,
  • 1996
1 Excerpt

Wol : Towards a Conceptual System Theory

  • E. K.
  • Analyse von PetriNetzModellen
  • 1990

Similar Papers

Loading similar papers…