Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules

David Carral, Markus Krötzsch

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
Main track. Pages 1777-1783. https://doi.org/10.24963/ijcai.2020/246

Especially in data-intensive settings, a promising reasoning approach for description logics (DLs) is to rewrite DL theories into sets of rules. Although many such approaches have been considered in the literature, there are still various relevant DLs for which no small rewriting (of polynomial size) is known. We therefore develop small rewritings for the DL \ALCHIQ -- featuring disjunction, number restrictions, and inverse roles -- to disjunctive Datalog. By admitting existential quantifiers in rule heads, we can improve this result to yield only rules of bounded size, a property that is common to all rewritings that were implemented in practice so far.
Keywords:
Knowledge Representation and Reasoning: Description Logics and Ontologies
Knowledge Representation and Reasoning: Knowledge Representation Languages
Knowledge Representation and Reasoning: Logics for Knowledge Representation