AAAI 2023technical4 citations
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.
BibTeX
@article{Gerlach_Carral_2023, title={General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase}, volume={37}, url={https://ojs.aaai.org/index.php/AAAI/article/view/25784}, DOI={10.1609/aaai.v37i5.25784}, abstractNote={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.}, number={5}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Gerlach, Lukas and Carral, David}, year={2023}, month={Jun.}, pages={6372-6379} }