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

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 : jeudi 15 mars 2018 - 16:56:06
Document(s) archivé(s) le : mardi 21 mars 2017 - 04:55:06

Fichier

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

Identifiants

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〉

Partager

Métriques

Consultations de la notice

426

Téléchargements de fichiers

32