Reasoning with Individuals for the Description Logic

While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in mo st cases only Tbox reasoning is considered. In this paper we present an algorithm f or combined Tbox and Abox reasoning in the SHIQ description logic. This algorithm is of particular interest as it can be used to decide the problem of (databa se) conjunctive query containment w.r.t. a schema. Moreover, the realisation of a n efficient implementation should be relatively straightforward as it can be bas ed on an existing highly optimised implementation of the Tbox algorithm in the FaCT s ystem. c Springer-Verlag http://www.springer.de/comp/lncs/index.html

[1]  Editors , 1986, Brain Research Bulletin.

[2]  Werner Nutt,et al.  Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.

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

[4]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

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

[6]  Werner Nutt,et al.  On the expressivity of feature logics with negation, functional uncertainty, and sort equations , 1993, J. Log. Lang. Inf..

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

[8]  Francesco M. Donini,et al.  Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[9]  Andrea Schaerf,et al.  Reasoning with Individuals in Concept Languages Reasoning with Individuals in Concept Languages , 1994 .

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

[11]  Patrick Blackburn,et al.  Hybrid languages , 1995, J. Log. Lang. Inf..

[12]  Ian Horrocks,et al.  A Description Logic Based Schema for the Classification of Medical Data , 1996, KRDB.

[13]  Diego Calvanese.  Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity , 1996, ECAI.

[14]  Frank J. Oles,et al.  Scalable and expressive medical terminologies. , 1996, Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium.

[15]  Ulrike Sattler,et al.  A Concept Language Extended with Different Kinds of Transitive Roles , 1996, KI.

[16]  Diego Calvanese,et al.  Source integration in data warehousing , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

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

[18]  Diego Calvanese,et al.  Description Logic Framework for Information Integration , 1998, KR.

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

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

[21]  Ian Horrocks,et al.  FaCT and iFaCT , 1999, Description Logics.

[22]  Maarten Marx,et al.  A Road-Map on Complexity for Hybrid Logics , 1999, CSL.

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

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

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