Abstract:Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reasoning tasks undecidable. To overcome this limitation, in the last two decades, a number of classes of existential rules guaranteeing the decidability of query answering have been proposed. Unfortunately, only some of these classes fully encompass Datalog and, often, this comes at the price of higher computational complexity. Moreover, expressive classes are typically unable to exploit tools developed for classes exhibiting lower expressiveness. To mitigate these shortcomings, this paper introduces a novel general syntactic condition that allows us to define, systematically and in a uniform way, from any decidable class $\mathcal{C}$ of existential rules, a new class called Dyadic-$\mathcal{C}$ enjoying the following properties: $(i)$ it is decidable; $(ii)$ it generalises Datalog; $(iii)$ it generalises $\mathcal{C}$; $(iv)$ it can effectively exploit any reasoner for query answering over $\mathcal{C}$; and $(v)$ its computational complexity does not exceed the highest between the one of $\mathcal{C}$ and the one of Datalog. Under consideration in Theory and Practice of Logic Programming (TPLP).

Reasoner = Logical Calculus + Rule Engine

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

Product Knowledge Reasoning

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

Dyadic Existential Rules

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

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

DatalogDL: Datalog Rules Parameterized by Description Logics

Enabling reasoning with LegalRuleML

Automating Defeasible Reasoning in Law

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

When Do Program-of-Thought Works for Reasoning?

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

On syntactically similar logic programs and sequential decompositions

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

Transformer-based Language Models for Reasoning in the Description Logic ALCQ

Description Logics with Abstraction and Refinement

Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars

Rule Learning as Machine Translation using the Atomic Knowledge Bank

Bialgebraic Reasoning on Higher-Order Program Equivalence