Abstract:Abstract In ontology-based data access (OBDA), the classical database is enhanced with an ontology in the form of logical assertions generating new intensional knowledge. A powerful form of such logical assertions is the tuple-generating dependencies (TGDs), also called existential rules, where Horn rules are extended by allowing existential quantifiers to appear in the rule heads. In this paper, we introduce a new language called loop restricted (LR) TGDs (existential rules), which are TGDs with certain restrictions on the loops embedded in the underlying rule set. We study the complexity of this new language. We show that the conjunctive query answering (CQA) under the LR TGDs is decidable. In particular, we prove that this language satisfies the so-called bounded derivation-depth property (BDDP), which implies that the CQA is first-order rewritable, and its data complexity is in Ac$^{0}$. We also prove that the combined complexity of the CQA is 2-ExpTime complete, while the language membership is Pspace complete. Then we extend the LR TGDs language to the generalized loop restricted (GLR) TGDs language and prove that this class of TGDs still remains to be first-order rewritable and properly contains most of other first-order rewritable TGDs classes discovered in the literature so far.

Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

The expressive language ALCNHR+K(D) for knowledge reasoning

Query Answering for Rough EL Ontologies (Extended Technical Report)

Integrating Relational Databases with Semantic Web Ontologies : Reasoning and Query Answering using Views

Finite model reasoning over existential rules

An Extension To Owl With General Rules

Reasoning Makes Good Annotators : an Automatic Task-specific Rules Distilling Framework for Low-resource Relation Extraction

Reasoner = Logical Calculus + Rule Engine

Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries

VEL: A Formally Verified Reasoner for OWL2 EL Profile

Logic Agent: Enhancing Validity with Logic Rule Invocation

Loop restricted existential rules and first-order rewritability for query answering

Query Answering with Inconsistent Existential Rules under Stable Model Semantics

The Datalog(Dl) Combination Of Deduction Rules And Description Logics

Alc(P)(U): An Integration Of Description Logic And General Rules

Chatbot-Based Ontology Interaction Using Large Language Models and Domain-Specific Standards

Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs

RQE: Rule-Driven Query Expansion to Solve Empty Answers in SPARQL

DatalogDL: Datalog Rules Parameterized by Description Logics

Chain of Logic: Rule-Based Reasoning with Large Language Models