Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

Abdallah Arioua 1 Nouredine Tamani 2 Madalina Croitoru 2 Patrice Buche 1
1 IATE - Ingénierie des Agro-polymères et Technologies Émergentes
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.
Keywords : Explanation Knowldege bases Argumentation abstraite
Type de document :
Communication dans un congrès
COMMA: Computational Models of Argument, Sep 2014, Scottish Highlands, Pitlochry, United Kingdom. 5th International Conference on Computational Models of Argument, Frontiers in Artificial Intelligence and Applications (266), pp.101-108, 2014, Computational Models of Argument. 〈10.3233/978-1-61499-436-7-101〉
Liste complète des métadonnées
https://hal-auf.archives-ouvertes.fr/hal-01089146
Contributeur : Abdallah Arioua <>
Soumis le : lundi 1 décembre 2014 - 11:27:52
Dernière modification le : samedi 27 janvier 2018 - 01:32:13

Identifiants

Collections

AFRIQ | INRIA | CIRAD | INRA | GRAPHIK | AGROPOLIS | LIRMM | MIPS | BA | UNIV-MONTPELLIER

Citation

Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche. Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation. COMMA: Computational Models of Argument, Sep 2014, Scottish Highlands, Pitlochry, United Kingdom. 5th International Conference on Computational Models of Argument, Frontiers in Artificial Intelligence and Applications (266), pp.101-108, 2014, Computational Models of Argument. 〈10.3233/978-1-61499-436-7-101〉. 〈hal-01089146〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

319

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD