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

Lukas GerlachLukas Gerlach, David CarralDavid Carral

ISSN: 1613-0073
Download
Slides

Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)
In Oliver Kutz, Carsten Lutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, October 2023. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
Query entailment over ontologies is a fundamental decision problem in the field of knowledge representation and reasoning. The disjunctive (skolem) chase is a sound and complete reasoning procedure that solves this problem for boolean conjunctive queries over the powerful first-order logic fragment of disjunctive existential rules. Yet, termination of the procedure is an undecidable problem. 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 on translated OWL ontologies shows that our novel notions are significantly more general than existing criteria.
Bemerkung: Note: Extended Abstract of https://iccl.inf.tu-dresden.de/web/Inproceedings3348
Weitere Informationen unter:Further Information: Link, Link
Projekt:Project: CPEC, InnoSale, SECAI, Cfaed
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{GC2023,
  author    = {Lukas Gerlach and David Carral},
  title     = {General Acyclicity and Cyclicity Notions for the Disjunctive
               Skolem Chase (Extended Abstract)},
  editor    = {Oliver Kutz and Carsten Lutz and Ana Ozaki},
  booktitle = {Proceedings of the 36th International Workshop on Description
               Logics (DL 2023) co-located with the 20th International
               Conference on Principles of Knowledge Representation and
               Reasoning and the 21st International Workshop on Non-Monotonic
               Reasoning (KR 2023 and {NMR} 2023)},
  series    = {CEUR Workshop Proceedings},
  volume    = {3515},
  publisher = {CEUR-WS.org},
  year      = {2023},
  month     = {October}
}