Existential Rule Languages with Finite Chase: Complexity and Expressiveness

11/19/2014
by   Heng Zhang, et al.
0

Finite chase, or alternatively chase termination, is an important condition to ensure the decidability of existential rule languages. In the past few years, a number of rule languages with finite chase have been studied. In this work, we propose a novel approach for classifying the rule languages with finite chase. Using this approach, a family of decidable rule languages, which extend the existing languages with the finite chase property, are naturally defined. We then study the complexity of these languages. Although all of them are tractable for data complexity, we show that their combined complexity can be arbitrarily high. Furthermore, we prove that all the rule languages with finite chase that extend the weakly acyclic language are of the same expressiveness as the weakly acyclic one, while rule languages with higher combined complexity are in general more succinct than those with lower combined complexity.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/23/2020

Model-theoretic Characterizations of Existential Rule Languages

Existential rules, a.k.a. dependencies in databases, and Datalog+/- in k...
research
11/26/2019

Towards Universal Languages for Tractable Ontology Mediated Query Answering

An ontology language for ontology mediated query answering (OMQA-languag...
research
07/04/2017

Document Spanners for Extracting Incomplete Information: Expressiveness and Complexity

Rule-based information extraction has lately received a fair amount of a...
research
11/14/2018

An Introduction to Fuzzy & Annotated Semantic Web Languages

We present the state of the art in representing and reasoning with fuzzy...
research
04/13/2023

A Declarative Validator for GSOS Languages

Rule formats can quickly establish meta-theoretic properties of process ...
research
12/15/2021

Characterizing the Program Expressive Power of Existential Rule Languages

Existential rule languages are a family of ontology languages that have ...
research
08/26/2018

Rule Module Inheritance with Modification Restrictions

Adapting rule sets to different settings, yet avoiding uncontrolled prol...

Please sign up or login with your details

Forgot password? Click here to reset