Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

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.

Mots clés

Explanation Knowldege bases Argumentation abstraite

Domaines

Intelligence artificielle [cs.AI]

Liste complète des métadonnées

Format du dépôt	Fichier
Type de dépôt	Communication dans un congrès
Titre	en Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation
Résumé	en 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.
Auteur(s)	Abdallah Arioua ^{1, 2} , Nouredine Tamani ² , Madalina Croitoru ² , Patrice Buche ^{1, 2} 1 UMR IATE - Ingénierie des Agro-polymères et Technologies Émergentes ( 456167 ) - Campus de la Gaillarde 2, place Pierre Viala 34 060 Montpellier Cédex 02 - FRANCE - France Centre de Coopération Internationale en Recherche Agronomique pour le Développement UMR62-2011 ( 11574 ) ; Institut National de la Recherche Agronomique UMR1208 ( 92114 ) ; Université Montpellier 2 - Sciences et Techniques ( 92690 ) ; Centre international d'études supérieures en sciences agronomiques ( 92699 ) ; Université de Montpellier ( 410122 ) ; Institut national d’études supérieures agronomiques de Montpellier ( 474617 ) 2 GRAPHIK - Graphs for Inferences on Knowledge ( 388182 ) - LIRMM — Campus Saint Priest – 860 rue de St Priest – 34095 Montpellier - France Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier ( 181 ) ; Université de Montpellier UMR5506 ( 410122 ) ; Centre National de la Recherche Scientifique UMR5506 ( 441569 ) ; Inria Sophia Antipolis - Méditerranée ( 34586 ) ; Institut National de Recherche en Informatique et en Automatique ( 300009 )
ISBN	978-1-61499-435-0
Public visé	Scientifique
ISSN	0922-6389
Nombre de pages	101-108
Lieu de publication	Oxford (united kingdom)
Titre du congrès	COMMA 2014 - 5th International Conference on Computational Models of Argument
Langue du document	Anglais
Date de production/écriture	2014-01
Vulgarisation	Non
Comité de lecture	Oui
Invité	Non
Audience	Internationale
Actes	Oui
Date de publication	2014-09
Titre de la collection	Computational Models of Argument
Volume	Frontiers in Artificial Intelligence and Applications
Numéro	266
Page/Identifiant	101-108
Date début congrès	2014-09-09
Date fin congrès	2014-09-12
Ville	Scottish Highlands, Pitlochry
Pays	Royaume-Uni
Domaine(s)	Informatique [cs]/Intelligence artificielle [cs.AI]
Éditeur commercial	IOS Press
Projet(s) Européen(s)	ECOBIOCAP - Ecoefficient Biodegradable Composite Advanced Packaging Numéro CORDIS : 265669
Indexation contrôlée	aide à la décision ontologie
Mots-clés	en Explanation, Knowldege bases, Argumentation abstraite
DOI	10.3233/978-1-61499-436-7-101
ProdINRA	313775
UT key WOS	000350146000011

Fichier principal

COMMA-Explanation-CR.pdf ( 161.01 Ko )

Origine : Fichiers produits par l'(les) auteur(s)

Abdallah Arioua : Connectez-vous pour contacter le contributeur

https://auf.hal.science/hal-01089146

Soumis le : lundi 5 septembre 2022 à 11:51:57

Dernière modification le : mercredi 5 juillet 2023 à 17:05:46

Archivage à long terme le : mardi 6 décembre 2022 à 18:25:18

Dates et versions

hal-01089146, version 1 (05-09-2022)

Identifiants

HAL Id : hal-01089146 , version 1
DOI : 10.3233/978-1-61499-436-7-101
PRODINRA : 313775
WOS : 000350146000011

Citer

Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche. Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation. COMMA 2014 - 5th International Conference on Computational Models of Argument, Sep 2014, Scottish Highlands, Pitlochry, United Kingdom. pp.101-108, ⟨10.3233/978-1-61499-436-7-101⟩. ⟨hal-01089146⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CIRAD AFRIQ CNRS INRIA INRA IATE GRAPHIK LIRMM AGROPOLIS INRIA2 MIPS BA UNIV-MONTPELLIER INSTITUT-AGRO-MONTPELLIER INRAE INRAEOCCITANIEMONTPELLIER

297 Consultations

29 Téléchargements

Dernière date de mise à jour le 07/04/2024