Towards Correspondence between Conceptual Graphs and Description Logics

We present a formal correspondence between Conceptual Graphs and Description Logics. More precisely, we consider the Simple Conceptual Graphs model provided with type definitions (which we call TSCG) and the ALEOI standard Description Logic. We prove an equivalence between a subset of TSCG and a subset of ALEOI. Based on this equivalence, we suggest extensions of both formalisms while preserving the equivalence. In particular, regarding to standard Description Logics where a concept can be defined by the conjunction of any two concepts, we propose an extension of type definition in CGs allowing type definitions from the “conjunction” of any two types and consequently partial type definitions. Symmetrically, regarding generalization/specialization operations in Conceptual Graphs, we conclude by suggesting how Description Logics could take advantage of these correspondences to improve the explanation of subsumption computation.

[1]  Ollivier Haemmerlé,et al.  Standardizing and Interfacing Relational Databases Using Conceptual Graphs , 1994, ICCS.

[2]  M. Mugnier,et al.  Représenter des connaissances et raisonner avec des graphes , 1996 .

[3]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[4]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[5]  Frank J. Oles,et al.  The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics , 1993, IJCAI.

[6]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[7]  Paul McKevitt,et al.  Integration of natural language and vision processing: grounding representations , 1996 .

[8]  Marie-Laure Mugnier,et al.  On generalization/specialization for conceptual graphs , 1995, J. Exp. Theor. Artif. Intell..

[9]  Christophe Fouqueré,et al.  Extending Conceptual Definitions with Default Knowledge , 1997, Comput. Intell..

[10]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[11]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[12]  Michel Leclère.  Les connaissances du niveau terminologique du modèle des graphes conceptuels : construction et exploitation , 1995 .

[13]  Brigitte Biebow,et al.  A Comparison between Conceptual Graphs and KL-ONE , 1993, ICCS.

[14]  James G. Schmolze.  Terminological Knowledge Representation Systems Supporting N-ary Terms , 1989, KR.

[15]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[16]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

[17]  Catherine Faron-Zucker,et al.  Representation of Defaults and Exceptions in Conceptual Graphs Formalism , 1997, ICCS.

[18]  Marie-Laure Mugnier,et al.  Characterization and Algorithmic Recognition of Canonical Conceptual Graphs , 1993, ICCS.

[19]  Michel Chein,et al.  The CORALI Project: From Conceptual Graphs to Conceptual Graphs via Labelled Graphs , 1997, ICCS.