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

Baget, Jean-François (Institut National de Recherche en Informatique et en Automatique (INRIA)) | Benferhat, Salem (Université d'Artois) | Bouraoui, Zied (Centre National de la Recherche Scientifique (CNRS), Aix-Marseille Université) | Croitoru, Madalina (Université de Montpellier) | Mugnier, Marie-Laure (Université de Montpellier) | Papini, Odile (Aix-Marseille Université) | Rocher, Swan (Université de Montpellier) | Tabia, Karim (Université d'Artois)

AAAI Conferences 

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.

Duplicate Docs Excel Report

Title
None found

Similar Docs  Excel Report  more

TitleSimilaritySource
None found