General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)

Lukas GerlachLukas Gerlach, David CarralDavid Carral

ISBN: 978-1-57735-880-0
ISSN: 2159-5399
Download
Slides
DOI Link

Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
In Brian Williams, Yiling Chen, Jennifer Neville, eds., Proceedings of the 37th AAAI Conference on Artificial Intelligence, volume 37 of Proceedings of the AAAI Conference on Artificial Intelligence, 6372-6379, June 2023. AAAI Press

Details
Bibtex

KurzfassungAbstract
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.
Projekt:Project: CPEC, InnoSale, SECAI, Cfaed
Forschungsgruppe:Research Group: Wissensbasierte Systeme

@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}
}