 |
Conference papers
Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation
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.
https://hal-auf.archives-ouvertes.fr/hal-01089146
Contributor : Abdallah Arioua Connect in order to contact the contributor
Submitted on : Monday, December 1, 2014 - 11:27:52 AM
Last modification on : Saturday, January 22, 2022 - 3:07:48 AM
Contributor : Abdallah Arioua Connect in order to contact the contributor
Submitted on : Monday, December 1, 2014 - 11:27:52 AM
Last modification on : Saturday, January 22, 2022 - 3:07:48 AM