Inconsistency-Tolerant Querying of Description Logic Knowledge Bases

An important issue that arises when querying description logic (DL) knowledge bases is how to handle the case in which the knowledge base is inconsistent. Indeed, while it may be reasonable to assume that the TBox (ontology) has been properly debugged, the ABox (data) will typically be very large and subject to frequent modifications, both of which make errors likely. As standard DL semantics is useless in such circumstances (everything is entailed from a contradiction), several alternative inconsistency-tolerant semantics have been proposed with the aim of providing meaningful answers to queries in the presence of such data inconsistencies. In the first part of this chapter, we present and compare these inconsistency-tolerant semantics, which can be applied to any DL (or ontology language). The second half of the chapter summarizes what is known about the computational properties of these semantics and gives an overview of the main algorithmic techniques and existing systems, focusing on DLs of the DL-Lite family.

[1]  Georg Gottlob,et al.  The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic , 1997, FCT.

[2]  François Goasdoué,et al.  Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases , 2016, AAAI.

[3]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[4]  Meghyn Bienvenu,et al.  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies , 2012, AAAI.

[5]  Thomas Lukasiewicz,et al.  Inconsistency Handling in Datalog+/- Ontologies , 2012, ECAI.

[6]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[7]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[8]  Klaus W. Wagner.  More Complicated Questions About Maxima and Minima, and Some Closures of NP , 1987, Theor. Comput. Sci..

[9]  Jianfeng Du,et al.  Weight-based consistent query answering over inconsistent SHIQ knowledge bases , .

[10]  Riccardo Rosati,et al.  Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies , 2012, International Semantic Web Conference.

[11]  Neil Immerman.  Nondeterministic Space is Closed Under Complementation , 1988, SIAM J. Comput..

[12]  Maurizio Lenzerini,et al.  Inconsistency-tolerant query answering in ontology-based data access , 2015, J. Web Semant..

[13]  Leopoldo E. Bertossi,et al.  The consistency extractor system: Answer set programs for consistent query answering in databases , 2010, Data Knowl. Eng..

[14]  Georg Gottlob,et al.  The complexity of logic-based abduction , 1993, JACM.

[15]  Renée J. Miller,et al.  First-order query rewriting for inconsistent databases , 2005, J. Comput. Syst. Sci..

[16]  Jan Chomicki,et al.  Computing consistent query answers using conflict hypergraphs , 2004, CIKM '04.

[17]  François Goasdoué,et al.  Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract) , 2016, Description Logics.

[18]  Magdalena Ortiz,et al.  Ontology-Mediated Query Answering with Data-Tractable Description Logics , 2015, Reasoning Web.

[19]  Thomas Lukasiewicz,et al.  From Classical to Consistent Query Answering under Existential Rules , 2015, AMW.

[20]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[21]  Jan Chomicki,et al.  Consistent query answers in inconsistent databases , 1999, PODS '99.

[22]  Georg Gottlob.  NP trees and Carnap's modal logic , 1995, JACM.

[23]  Maurizio Lenzerini,et al.  Query Rewriting for Inconsistent DL-Lite Ontologies , 2011, RR.

[24]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[25]  Renée J. Miller,et al.  ConQuer: efficient management of inconsistent databases , 2005, SIGMOD '05.

[26]  Jan Chomicki,et al.  Hippo: A System for Computing Consistent Answers to a Class of SQL Queries , 2004, EDBT.

[27]  Jianfeng Du,et al.  Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases , 2012, Knowledge and Information Systems.

[28]  Madalina Croitoru,et al.  A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering , 2016, KR.

[29]  François Goasdoué,et al.  Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics , 2014, Description Logics.

[30]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[31]  Francesco M. Donini,et al.  Deduction in Concept Languages: From Subsumption to Instance Checking , 1994, J. Log. Comput..

[32]  Michael Kifer,et al.  Applications of Annotated Predicate Calculus to Querying Inconsistent Databases , 2000, Computational Logic.

[33]  Riccardo Rosati,et al.  On Conjunctive Query Answering in EL , 2007, Description Logics.

[34]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[35]  Róbert Szelepcsényi.  The moethod of focing for nondeterministic automata , 1987, Bull. EATCS.

[36]  Phokion G. Kolaitis,et al.  Efficient Querying of Inconsistent Databases with Binary Integer Programming , 2013, Proc. VLDB Endow..

[37]  Thomas Lukasiewicz,et al.  Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs , 2019, SEBD.

[38]  Jan Chomicki,et al.  Consistent Query Answering: Five Easy Pieces , 2007, ICDT.

[39]  Carsten Lutz,et al.  Data Complexity in the EL family of DLs , 2007, Description Logics.

[40]  Carsten Lutz,et al.  The Combined Approach to Query Answering in DL-Lite , 2010, KR.

[41]  Camille Bourgaux,et al.  Inconsistency Handling in Ontology-Mediated Query Answering , 2016 .

[42]  Riccardo Rosati,et al.  Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access , 2013, IJCAI.

[43]  Sebastian Rudolph,et al.  Conjunctive Queries for EL with Composition of Roles , 2007, Description Logics.

[44]  Leopoldo E. Bertossi,et al.  Database Repairing and Consistent Query Answering , 2011, Database Repairing and Consistent Query Answering.

[45]  Riccardo Rosati,et al.  On the Complexity of Dealing with Inconsistency in Description Logic Ontologies , 2011, IJCAI.