A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering

Abstract : We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority principles. It relies on two key notions: modifiers and inference strategies. An inconsistency-tolerant semantics is seen as a composite modifier plus an inference strategy. We compare the obtained semantics from a productivity point of view.
Type de document :
Communication dans un congrès
KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. 15th International Conference on Principles of Knowledge Representation and Reasoning, pp.513-516, 2016, 〈http://kr2016.cs.uct.ac.za〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328690
Contributeur : Madalina Croitoru <>
Soumis le : mercredi 8 juin 2016 - 12:26:05
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Lien texte intégral

Identifiants

  • HAL Id : lirmm-01328690, version 1
  • ARXIV : 1602.05828

Citation

Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, et al.. A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. 15th International Conference on Principles of Knowledge Representation and Reasoning, pp.513-516, 2016, 〈http://kr2016.cs.uct.ac.za〉. 〈lirmm-01328690〉

Partager

Métriques

Consultations de la notice

357