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

TL;DR

This paper introduces a unified framework for inconsistency-tolerant query answering using modifiers and inference strategies, encompassing existing semantics and proposing new ones based on cardinality and majority principles.

Contribution

It presents a general, modular framework that unifies and extends current inconsistency-tolerant semantics in existential rule settings.

Findings

Compared semantics from a productivity perspective.

Unified existing and new semantics within a common framework.

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.