Back to Search Start Over

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

Authors :
Baget, Jean-François
Benferhat, Salem
Bouraoui, Zied
Croitoru, Madalina
Mugnier, Marie-Laure
Papini, Odile
Rocher, Swan
Tabia, Karim
Graphs for Inferences on Knowledge (GRAPHIK)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM)
Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM)
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Centre de Recherche en Informatique de Lens (CRIL)
Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS)
Laboratoire des Sciences de l'Information et des Systèmes (LSIS)
Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU)
Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM)
Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS)
Centre National de la Recherche Scientifique (CNRS)-Université d'Artois (UA)
Source :
15th International Conference on Principles of Knowledge Representation and Reasoning, KR: Principles of Knowledge Representation and Reasoning, KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
Publication Year :
2016
Publisher :
HAL CCSD, 2016.

Abstract

International audience; 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.

Details

Language :
English
Database :
OpenAIRE
Journal :
15th International Conference on Principles of Knowledge Representation and Reasoning, KR: Principles of Knowledge Representation and Reasoning, KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
Accession number :
edsair.doi.dedup.....3f3565757c212bc07284e98d0115e9be