Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

Jean-François Baget 1 Salem Benferhat 2 Zied Bouraoui 2 Madalina Croitoru 1 Marie-Laure Mugnier 1, 3 Odile Papini 4 Swan Rocher 1 Karim Tabia 2
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
2 CRIL - Centre de Recherche en Informatique de Lens
3 UM - Université de Montpellier
4 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
Abstract : Generalising the state of the art, an inconsistency-tolerant semantics can be seen as a couple composed of a modifier operator and an inference strategy. In this paper we deepen the analysis of such general setting and focus on two aspects. First, we investigate the rationality properties of such semantics for existential rule knowledge bases. Second, we unfold the broad landscape of complexity results of inconsistency-tolerant semantics under a specific (yet expressive) subclass of existential rules.
Type de document :
Communication dans un congrès
Loizos Michael; Antonis Kakas. JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. Springer, 15th European Conference on Logics in Artificial Intelligence, LNCS (10021), pp.64-80, 2016, Logics in Artificial Intelligence. 〈http://www.cyprusconferences.org/jelia2016/〉. 〈10.1007/978-3-319-48758-8_5〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01412864
Contributeur : Jean-François Baget <>
Soumis le : lundi 19 décembre 2016 - 19:53:03
Dernière modification le : mercredi 26 septembre 2018 - 18:26:03
Document(s) archivé(s) le : mardi 21 mars 2017 - 04:55:06

Fichier

jelia16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

LIRMM | UNIV-TLN | LSIS | INRIA | GRAPHIK | UNIV-AMU | MIPS | UNIV-MONTPELLIER | LIS-LAB | UNIV-HESAM

Citation

Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, et al.. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. Loizos Michael; Antonis Kakas. JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. Springer, 15th European Conference on Logics in Artificial Intelligence, LNCS (10021), pp.64-80, 2016, Logics in Artificial Intelligence. 〈http://www.cyprusconferences.org/jelia2016/〉. 〈10.1007/978-3-319-48758-8_5〉. 〈lirmm-01412864〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

569

Téléchargements de fichiers

52

Contact

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