Skip to Main content Skip to Navigation
Conference papers

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

Jean-François Baget 1 Salem Benferhat 2 Zied Bouraoui 2 Madalina Croitoru 1 Marie-Laure Mugnier 1 Odile Papini 3 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
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Madalina Croitoru Connect in order to contact the contributor
Submitted on : Wednesday, June 8, 2016 - 12:26:05 PM
Last modification on : Friday, August 5, 2022 - 3:03:00 PM

Links full text


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


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. pp.513-516. ⟨lirmm-01328690⟩



Record views