Conference , Publications / 07 February 2023 - USA
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
- Lukas Gerlach, David Carral
Abstract:
The disjunctive skolem chase is a sound, complete, and potentially non-terminating procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. 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 shows that our novel notions are significantly more general than existing criteria.
Final Publication: https://ojs.aaai.org/index.php/AAAI/article/view/25784
Bibtex:
@inproceedings{GC2023,
author = {Lukas Gerlach and David Carral},
title = {General Acyclicity and Cyclicity Notions for the Disjunctive
Skolem Chase (Extended Technical Report)},
editor = {Brian Williams and Yiling Chen and Jennifer Neville},
booktitle = {Proceedings of the 37th {AAAI} Conference on Artificial
Intelligence},
series = {Proceedings of the {AAAI} Conference on Artificial Intelligence},
volume = {37},
publisher = {AAAI Press},
year = {2023},
month = {June},
pages = {6372-6379},
doi = {10.1609/aaai.v37i5.25784}
}