Paper Info
Title
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.
Year
DOI
Venue
2014
10.3233/978-1-61499-436-7-101
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS
Field
DocType
Volume
Ontology,Argumentative,Conjunctive query,Semantic reasoner,Computer science,Argumentation theory,Knowledge management,Equivalence (measure theory),Natural language processing,Artificial intelligence,Datalog,Semantics
Conference
266
ISSN
Citations 
PageRank 
0922-6389
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Abdallah Arioua1405.80
Nouredine Tamani28814.63
Madalina Croitoru351.60
Patrice Buche421733.64