Query Answering Explanation in Inconsistent Datalog+/- Knowledge Bases

Abdallah Arioua 1, 2 Nouredine Tamani 1 Madalina Croitoru 1
1 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 : 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.
Type de document :
Communication dans un congrès
DEXA: Database and Expert Systems Applications, Sep 2015, Valence, Spain. 26th International Conference on Database and Expert Systems Applications, 2015, 〈http://dexa.org/dexa2015〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01164702
Contributeur : Abdallah Arioua <>
Soumis le : mercredi 17 juin 2015 - 15:33:46
Dernière modification le : samedi 27 janvier 2018 - 01:31:48

Identifiants

  • HAL Id : lirmm-01164702, version 1

Collections

Citation

Abdallah Arioua, Nouredine Tamani, Madalina Croitoru. Query Answering Explanation in Inconsistent Datalog+/- Knowledge Bases. DEXA: Database and Expert Systems Applications, Sep 2015, Valence, Spain. 26th International Conference on Database and Expert Systems Applications, 2015, 〈http://dexa.org/dexa2015〉. 〈lirmm-01164702〉

Partager

Métriques

Consultations de la notice

178