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

ECAI-2002 Conference Paper

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

Compilation and Approximation of Conjunctive Queries by Concept Descriptions

Francois Goasdoue, Marie-Christine Rousset

In this paper, we characterize the logical correspondence between conjunctive queries and concept descriptions. We exhibit a necessary and sufficient condition for the compilation of a conjunctive query into an equivalent $\ale$ concept description. We provide a necessary and sufficient condition for the approximation of conjunctive queries by maximally subsumed $\aln$ concept descriptions.

Keywords: Knowledge Representation, Description Logics

Citation: Francois Goasdoue, Marie-Christine Rousset: Compilation and Approximation of Conjunctive Queries by Concept Descriptions. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.267-271.


[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.