Workshop , Publications / 02 September 2023 - Rhodes
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)
- Lukas Gerlach, David Carral
Abstract:
Query entailment over ontologies is a fundamental decision problem in the field of knowledge representation and reasoning. The disjunctive (skolem) chase is a sound and complete reasoning procedure that solves this problem for boolean conjunctive queries over the powerful first-order logic fragment of disjunctive existential rules. Yet, termination of the procedure is an undecidable problem. We develop novel acyclicity and cyclicity notions for this procedure; that is, we develop sufficient conditions to determine chase termination and non-termination. Our empirical evaluation on translated OWL ontologies shows that our novel notions are significantly more general than existing criteria.
Open PDF:
Bibtex:
@inproceedings{GC2023,
author = {Lukas Gerlach and David Carral},
title = {General Acyclicity and Cyclicity Notions for the Disjunctive
Skolem Chase (Extended Abstract)},
editor = {Oliver Kutz and Carsten Lutz and Ana Ozaki},
booktitle = {Proceedings of the 36th International Workshop on Description
Logics (DL 2023) co-located with the 20th International
Conference on Principles of Knowledge Representation and
Reasoning and the 21st International Workshop on Non-Monotonic
Reasoning (KR 2023 and {NMR} 2023)},
series = {CEUR Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
month = {October}
}