Abstract | ||
---|---|---|
The paper addresses the problem of explaining Boolean Conjunctive Query BCQ entailment 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. We address this problem in the case of both BCQ acceptance and failure by adopting a logical instantiation of abstract argumentation model; that is, in order to explain why the query is accepted or failed, we look for proponent or opponent sets of arguments in favor or against the query acceptance. We have also studied the computational complexity of the problem of finding an arbitrary explanation as well as all explanations. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-22849-5_15 | DEXA 2015 Proceedings, Part I, of the 26th International Conference on Database and Expert Systems Applications - Volume 9261 |
Field | DocType | Citations |
Argumentation framework,Data mining,Conjunctive query,Logical consequence,Computer science,Argumentation theory,Description logic,Datalog,Database,Boolean conjunctive query,Computational complexity theory | Conference | 5 |
PageRank | References | Authors |
0.43 | 20 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Abdallah Arioua | 1 | 40 | 5.80 |
Nouredine Tamani | 2 | 88 | 14.63 |
madalina croitoru | 3 | 16 | 1.72 |