Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling

Despoina MagkaDespoina Magka,  Markus KrötzschMarkus Krötzsch,  Ian HorrocksIan Horrocks
Despoina Magka, Markus Krötzsch, Ian Horrocks
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
Proc. 26th International Workshop on Description Logics (DL'13), 390-402, July 2013. CEUR Workshop Proceedings
  • KurzfassungAbstract
    In this work, we consider function-free existential rules extended with nonmonotonic negation under a stable model semantics. We present new acyclicity and stratification conditions that identify a large class of rule sets having finite, unique stable models, and we show how the addition of constraints on the input facts can further extend this class. Checking these conditions is computationally feasible, and we provide tight complexity bounds. Finally, we demonstrate how these new methods allowed us to solve relevant reasoning problems over a real-world knowledge base from biochemistry using an off-the-shelf answer set programming engine.
  • Bemerkung: Note: This contribution to the DL Workshop 2013 reports about the results published in the conference paper Computing Stable Models for Nonmonotonic Existential Rules. Please refer to this paper for further details.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{MKH2013,
  author    = {Despoina Magka and Markus Kr{\"{o}}tzsch and Ian Horrocks},
  title     = {Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological
               Modelling},
  booktitle = {Proc. 26th International Workshop on Description Logics (DL'13)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2013},
  month     = {July},
  pages     = {390-402}
}