Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules

From International Center for Computational Logic

Toggle side column

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules

David CarralDavid Carral,  Markus KrötzschMarkus Krötzsch
David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), to appear
  • KurzfassungAbstract
    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.
  • Bemerkung: Note: The PDF is an extended techncial report upong which the paper is based. It contains additional proof details.
  • Projekt:Project: CPECDIAMOND
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{CK2020,
  author    = {David Carral and Markus Kr{\"{o}}tzsch},
  title     = {Rewriting the Description Logic {ALCHIQ} to Disjunctive
               Existential Rules},
  booktitle = {Proceedings of the 29th International Joint Conference on
               Artificial Intelligence and the 17th Pacific Rim International
               Conference on Artificial Intelligence (IJCAI-PRICAI 2020)},
  year      = {2020},
  month     = {July}
}