Skip to Main content Skip to Navigation
New interface
Conference papers

Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

Abdallah Arioua 1, 2 Nouredine Tamani 2 Madalina Croitoru 2 Patrice Buche 1, 2 
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Abdallah Arioua Connect in order to contact the contributor
Submitted on : Monday, September 5, 2022 - 11:51:57 AM
Last modification on : Thursday, November 10, 2022 - 9:52:28 AM


Files produced by the author(s)



Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche. Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation. COMMA 2014 - 5th International Conference on Computational Models of Argument, Sep 2014, Scottish Highlands, Pitlochry, United Kingdom. pp.101-108, ⟨10.3233/978-1-61499-436-7-101⟩. ⟨hal-01089146⟩



Record views


Files downloads