General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
Aus International Center for Computational Logic
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
Lukas GerlachLukas Gerlach, David CarralDavid Carral
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
AAAI 2023, to appear
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
AAAI 2023, to appear
- 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)},
booktitle = {AAAI 2023},
year = {2023},
month = {February}
}