Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
Despoina Magka, Markus Krötzsch, Ian Horrocks
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
Abstract. 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.
Published at DL2013 (Workshop paper)
Download PDF (last update: July 30 2013)
Citation details
- Despoina Magka, Markus Krötzsch, Ian Horrocks. Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. In Birte Glimm, Thomas Eiter, Yevgeny Kazakov, Markus Krötzsch, eds.: Proceedings of the 26th International Workshop on Description Logics (DL-13). CEUR Workshop ProceedingsProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2013.
author = {Despoina Magka and Markus Kr{\"o}tzsch and
Ian Horrocks},
title = {Nonmonotonic Existential Rules for
Non-Tree-Shaped Ontological Modelling},
booktitle = {Proceedings of the 26th International Workshop
on Description Logics (DL'13)},
editors = {Birte Glimm and Thomas Eiter and
Yevgeny Kazakov and Markus Kr{\"o}tzsch},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
pages = {390--402},
volume = {1014},
year = {2013}
}
Remarks
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.
