Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)

Lukas GerlachLukas Gerlach, David CarralDavid Carral

ISBN: 978-1-956792-02-7
ISSN: 2334-1033
Download
Slides
DOI Link

Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
In Pierre Marquis,Tran Cao Son,Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), volume 20 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 301–310, September 2023. International Joint Conferences on Artificial Intelligence Organization

Details
Bibtex

KurzfassungAbstract
The disjunctive restricted chase is a sound and complete procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. Alas, this procedure does not always terminate and checking if it does is undecidable. However, we can use acyclicity notions (sufficient conditions that imply termination) to effectively apply the chase in many real-world cases. To know if these conditions are as general as possible, we can use cyclicity notions (sufficient conditions that imply non-termination). In this paper, we discuss some issues with previously existing cyclicity notions, propose some novel notions for non-termination by dismantling the original idea, and empirically verify the generality of the new criteria.
Projekt:Project: CPEC, InnoSale, SECAI, Cfaed
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{GC2023,
  author    = {Lukas Gerlach and David Carral},
  title     = {Do Repeat Yourself: Understanding Sufficient Conditions for
               Restricted Chase Non-Termination (Technical Report)},
  editor    = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
  booktitle = {Proceedings of the 20th International Conference on Principles of
               Knowledge Representation and Reasoning (KR 2023)},
  series    = {Proceedings of the International Conference on Principles of
               Knowledge Representation and Reasoning},
  volume    = {20},
  publisher = {International Joint Conferences on Artificial Intelligence
               Organization},
  year      = {2023},
  month     = {September},
  pages     = {301{\textendash}310},
  doi       = {10.24963/kr.2023/30}
}