Concept Graphs with Subdivision: A Semantic Approach

The semantic approach defines a concept graph with subdivision as a mathematical structure derived from a triadic power context family. The aim of introducing concept graphs with subdivision is to represent modal information mathematically. Based on the notion of the conceptual content of a concept graph with subdivision, we can show that the concept graphs with subdivision of a triadic power context family form a complete lattice with respect to the information order. Finally, our approach is extended to existential concept graphs with subdivision.

[1]  Rudolf Wille.  Triadic Concept Graphs , 1998, ICCS.

[2]  Galia Angelova,et al.  Conceptual Structures: Integration and Interfaces , 2002, Lecture Notes in Computer Science.

[3]  R. Wille,et al.  On the modal understanding of triadic contexts , 2000 .

[4]  Marie-Laure Mugnier,et al.  Conceptual Structures: Theory, Tools and Applications , 1998, Lecture Notes in Computer Science.

[5]  John F. Sowa,et al.  Conceptual Structures: Applications, Implementation and Theory , 1995, Lecture Notes in Computer Science.

[6]  Gerd Stumme,et al.  Begriffliche Wissensverarbeitung: Methoden und Anwendungen , 2000 .

[7]  I. Levi,et al.  Making It Explicit , 1994 .

[8]  Klaus Biedermann.  A foundation of the theory of trilattices , 1998 .

[9]  Gesellschaft für Klassifikation. Jahrestagung,et al.  Classification and information processing at the turn of the millennium : proceedings of the 23rd annual conference of the Gesellschaft für Klassifikation e.V., University of Bielefeld, March 10-12, 1999 , 2000 .

[10]  R. Wille,et al.  Grundlagen einer Triadischen Begriffsanalyse , 2000 .

[11]  Rudolf Wille,et al.  Existential Concept Graphs of Power Context Families , 2002, ICCS.

[12]  Rudolf Wille,et al.  A Triadic Approach to Formal Concept Analysis , 1995, ICCS.

[13]  Rudolf Wille,et al.  The Basic Theorem of triadic concept analysis , 1995 .

[14]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[15]  I. Rumfitt,et al.  Making it Explicit: Reasoning, Representing, and Discursive Commitment. , 1997 .

[16]  Rudolf Wille,et al.  Lattices of Triadic Concept Graphs , 2000, ICCS.

[17]  Bernhard Ganter,et al.  Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.