15th European Conference on Artificial Intelligence
|
July 21-26 2002 Lyon France |
[full paper] |
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.