Towards Correspondences Between Conceptual Graphs and Description Logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Towards Correspondences Between Conceptual Graphs and Description Logics

Pascal Coupey
  • Fonction : Auteur

Résumé

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.

Dates et versions

hal-01622727 , version 1 (24-10-2017)

Identifiants

Citer

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⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More