15th European Conference on Artificial Intelligence
  July 21-26 2002     Lyon     France  

ECAI-2002 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

A Graph-Based Knowledge Representation Language for Concept Description

Alexandre Delteil, Catherine Faron

In this paper, we propose an expressive concept description language, GDL, for real world applications combining features of both Conceptual Graphs (CGs) and Description Logics (DLs). Regarding concept descriptions in CGs, namely existential, positive and conjunctive graphs, GDL is the closure of this language under the Boolean operators. Now regarding DLs, GDL is an extension of ALC with graph structures in concept descriptions. GDL extends ALC with the intersection, composition, converse of roles and role identity: we show how these constructs can be expressed with the Existential Graph (EG) and the Graph Rule (GR) constructs. We provide a sound and complete tableaux algorithm to prove the satisfiability of GDL in NEXPtime.

Keywords: Description Logics, Conceptual Graphs, Knowledge Representation

Citation: Alexandre Delteil, Catherine Faron: A Graph-Based Knowledge Representation Language for Concept Description. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.297-301.

[prev] [tofc] [next]

ECAI-2002 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the UniversitÚ Claude Bernard and INSA, Lyon, on behalf of Association Franšaise pour l'Intelligence Artificielle.