Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

We address the problem of explaining Boolean Conjunctive Query (BCQ) failure in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog+/− rules. Our proposal relies on an interactive and argumentative approach where the processes of explanation takes the form of a dialogue between the User and the Reasoner. We exploit the equivalence between argumentation and ICR-semantics to prove that the Reasoner can always provide an answer for user's questions.

[1]  Madalina Croitoru,et al.  What Can Argumentation Do for Inconsistent Ontology Query Answering? , 2013, SUM.

[2]  Abdallah Arioua,et al.  On Conceptual Graphs and Explanation of Query Answering under Inconsistency , 2014, ICCS.

[3]  D. Walton.  A Dialogue System Specification for Explanation , 2011 .

[4]  Diego Calvanese,et al.  Reasoning about Explanations for Negative Query Answers in DL-Lite , 2013, J. Artif. Intell. Res..

[5]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..

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

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

[8]  Peter F. Patel-Schneider,et al.  Usability Issues in Knowledge Representation Systems , 1998, AAAI/IAAI.

[9]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[10]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

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

[12]  Guillermo Ricardo Simari,et al.  Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems , 2013, Expert Syst. Appl..

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

[14]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..