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
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
  • 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 technical report upon which the paper is based. The original paper is available at https://www.ijcai.org/Proceedings/2020/246
  • 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},
  editor    = {Christian Bessiere},
  booktitle = {Proceedings of the 29th International Joint Conference on
               Artificial Intelligence, {IJCAI} 2020},
  publisher = {ijcai.org},
  year      = {2020},
  pages     = {1777-1783}
}