Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
B. Biébow and G. Chaty. A comparison between conceptual graphs and KL-ONE. In ICCS'93, First International Conference on Conceptual Structures, LNAI 699, pages 75–89. Springer-Verlag, Berlin, Québec, Canada, 1993.
R.J. Brachman, D.L. McGuiness, P.F. Patel-Schneider, L.A. Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In J. Sowa, editor, Principles of Semantic Networks, pages 401–456. Morgan Kaufmann, San Mateo, Cal., 1991.
R.J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2): 171–216, 1985.
B. Carbonneill and O. Haemmerlé. Standardizing and interfacing relational database using conceptual graphs. In ICCS'94, Second International Conference on Conceptual Structures, LNAI 835, pages 311–330. Springer-Verlag, Berlin, Maryland, USA, 1994.
M. Chein. The CORALI project: from conceptual graphs to conceptual graphs via labelled graphs. In ICCS'97, Fifth International Conference on Conceptual Structures, LNAI 1257, pages 65–79. Springer-Verlag, Berlin, Seattle, USA, 1997.
M. Chein and M. Leclère. A cooperative program for the construction of a concept type lattice. In supplement proceedings of ICCS'94, Second International Conference on Conceptual Structures, pages 16–30. Maryland, USA, 1994.
M. Chein and M.L. Mugnier. Conceptual graphs: Fundamental notions. Revue d'Intelligence Artificielle, 6(4): 365–406, 1992.
M. Chein and M.L. Mugnier. Représenter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, 10(1): 7–56, 1996.
P. Coupey and C. Fouqueré. Extending conceptual definitions with default knowledge. Computational Intelligence Journal, 13(2): 258–299, 1997.
R. Dionne, E. Mays, and F.J. Oles. The equivalence of model-theoretic and structural subsumption description logics. In 13th International Joint Conference on Artificial Intelligence, pages 710–716, Chambéry, France, 1993.
C. Faron and J.G. Ganascia. Representation of defaults and exceptions in conceptual graphs formalism. In ICCS'97, Fifth International Conference on Conceptual Structures, LNAI 1257, pages 153–167. Springer-Verlag, Berlin, Seattle, USA, 1997.
M. Leclère. Les connaissances du niveau terminologique du modèle des graphes conceptuels: construction et exploitation. University thesis, Université de Montpellier 2, France, 1995.
M. Leclère. Reasonning with type definitions. In ICCS'97, Fith International Conference on Conceptual Structures, LNAI 1257, pages 401–415. Springer-Verlag, Berlin, Seattle, USA, 1997.
D.L. McGuinness and A.T. Borgida. Explaining subsumption in description logics. In 14th International Joint Conference on Artificial Intelligence, pages 816–821, Montreal, Canada, 1995.
M.L. Mugnier. On generalization/specialization for conceptual graphs. Journal of Experimental & Theoretical Artificial Intelligence, 7(3): 325–344, 1995.
M.L. Mugnier and M. Chein. Characterization and algorithmic recognition of canonical conceptual graphs. In ICCS'93, First International Conference on Conceptual Structures, LNAI 699, pages 294–311. Springer-Verlag, Berlin, Québec, Canada, 1993.
B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Number 422 in Lecture Notes in Computer Science. Springer-Verlag, 1990.
A. Schaerf. Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity and Semantics Issues. PhD thesis, Università di Roma “La Sapienza”, Roma, Italy, 1994.
K. Schild. A correspondence theory for terminological logics: Preliminary report. In 12th International Joint Conference on Artificial Intelligence, pages 466–471, Sydney, Australia, 1991.
J.G. Schmolze. Terminological knowledge representation systems supporting nary terms. In J.G. Schmolze, editor, Principles of Knowledge Representation and Reasoning: 1st International Conference, pages 432–443. Toronto, Ont., 1989.
J.F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, Massachusetts, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coupey, P., Faron, C. (1998). Towards correspondences between Conceptual Graphs and Description Logics. In: Mugnier, ML., Chein, M. (eds) Conceptual Structures: Theory, Tools and Applications. ICCS 1998. Lecture Notes in Computer Science, vol 1453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054913
Download citation
DOI: https://doi.org/10.1007/BFb0054913
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64791-1
Online ISBN: 978-3-540-68673-6
eBook Packages: Springer Book Archive