Towards Correspondences Between Conceptual Graphs and Description Logics

Pascal Coupey Catherine Faron 1
1 APA - Apprentissage et Acquisition des connaissances
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Tuesday, October 24, 2017 - 4:04:12 PM
Last modification on : Thursday, March 21, 2019 - 1:07:24 PM

Links full text



Pascal Coupey, Catherine Faron. Towards Correspondences Between Conceptual Graphs and Description Logics. ICCS'98 - Sixth International Conference on Conceptual Structures, Aug 1998, Montpellier, France. pp.165-178, ⟨10.1007/BFb0054913⟩. ⟨hal-01622727⟩



Record views