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

02/18/2016
by   Jean Francois Baget, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/18/2016

Query Answering with Inconsistent Existential Rules under Stable Model Semantics

Traditional inconsistency-tolerent query answering in ontology-based dat...
research
03/17/2018

Datalog: Bag Semantics via Set Semantics

Duplicates in data management are common and problematic. In this work, ...
research
08/04/2016

Query Answering in Resource-Based Answer Set Semantics

In recent work we defined resource-based answer set semantics, which is ...
research
05/04/2022

Chasing Streams with Existential Rules

We study reasoning with existential rules to perform query answering ove...
research
02/16/2022

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments

We investigate practical algorithms for inconsistency-tolerant query ans...
research
02/22/2022

Stateful Structural Operational Semantics

Compositionality of denotational semantics is an important concern in pr...

Please sign up or login with your details

Forgot password? Click here to reset