A Conjunctive Query Language for Description Logic Aboxes

A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that can be used to provide an expressive query language for such systems. One of the main advantages of this approach is that, being based on a reduction to knowledge base satisfiability, it can easily be adapted to most existing (and future) Description Logic implementations. We believe that providing Description Logic systems with an expressive query language for interrogating the knowledge base will significantly increase their utility.

[1]  Volker Haarslev,et al.  An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics , 1999, Description Logics.

[2]  Sergio Tessaris,et al.  Implementing and Testing Expressive Description Logics: a Preliminary Report , 1995 .

[3]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[4]  Alon Y. Halevy,et al.  The Limits on Combining Recursive Horn Rules with Description Logics , 1996, AAAI/IAAI, Vol. 1.

[5]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

[6]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[7]  Diego Calvanese,et al.  Answering Queries Using Views in Description Logics , 1999, KRDB.

[8]  Sergio Tessaris,et al.  ABox Reasoning with Transitive Roles and Axioms , 1999, Description Logics.

[9]  Andrea Schaerf.  Reasoning with Individuals in Concept Languages , 1993, AI*IA.

[10]  Maurizio Lenzerini,et al.  Datalog and Description Logics: Expressive Power , 1997, APPIA-GULP-PRODE.

[11]  Franz Baader.  Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles , 1991, IJCAI.

[12]  Robert M. MacGregor,et al.  Recognition Algorithms for the Loom Classifier , 1992, AAAI.

[13]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

[14]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[15]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[16]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[17]  Giuseppe De Giacomo,et al.  Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL , 2000, Inf. Comput..

[18]  Ian Horrocks,et al.  Query Containment Using a DLR ABox , 1999 .

[19]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[20]  Marie-Christine Rousset,et al.  Backward Reasoning in Aboxes for Query Answering , 1999, KRDB.

[21]  Maurizio Lenzerini,et al.  What's in an Aggregate: Foundations for Description Logics with Tuples and Sets , 1995, IJCAI.

[22]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[23]  Volker Haarslev,et al.  RACE System Description , 1999, Description Logics.