General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
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.
Cite
Text
Gerlach and Carral. "General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I5.25784Markdown
[Gerlach and Carral. "General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/gerlach2023aaai-general/) doi:10.1609/AAAI.V37I5.25784BibTeX
@inproceedings{gerlach2023aaai-general,
title = {{General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase}},
author = {Gerlach, Lukas and Carral, David},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2023},
pages = {6372-6379},
doi = {10.1609/AAAI.V37I5.25784},
url = {https://mlanthology.org/aaai/2023/gerlach2023aaai-general/}
}