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