Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases

Meghyn Bienvenu 1, 2 Camille Bourgaux 3 François Goasdoué 4
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
4 SHAMAN - Symbolic and Human-centric view of dAta MANagement
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. This paper addresses the problem of explaining why a tuple is a (non-)answer to a query under such semantics. We define explanations for positive and negative answers under the brave, AR and IAR semantics. We then study the computational properties of explanations in the lightweight description logic DL-LiteR. For each type of explanation, we analyze the data complexity of recognizing (preferred) explanations and deciding if a given assertion is relevant or necessary. We establish tight connections between intractable explanation problems and variants of propositional satisfiabil-ity (SAT), enabling us to generate explanations by exploiting solvers for Boolean satisfaction and optimization problems. Finally, we empirically study the efficiency of our explanation framework using the well-established LUBM benchmark.
Type de document :
Communication dans un congrès
AAAI: Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. 13th AAAI Conference on Artificial Intelligence, 2016, 〈http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12025〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01277086
Contributeur : François Goasdoué <>
Soumis le : lundi 22 février 2016 - 09:41:42
Dernière modification le : mercredi 2 août 2017 - 10:10:32
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 00:12:24

Fichier

bienvenu-bourgaux.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01277086, version 1

Citation

Meghyn Bienvenu, Camille Bourgaux, François Goasdoué. Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases. AAAI: Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. 13th AAAI Conference on Artificial Intelligence, 2016, 〈http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12025〉. 〈hal-01277086〉

Partager

Métriques

Consultations de
la notice

233

Téléchargements du document

131