ML Anthology

Restricted Chase (Non)Termination for Existential Rules with Disjunctions

David Carral, Irina Dragoste, Markus Krötzsch
IJCAI 2017 pp. 922-928
doi:10.24963/IJCAI.2017/128 /ijcai/2017/carral2017ijcai-restricted/

Abstract

The restricted chase is a sound and complete algorithm for conjunctive query answering over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its termination. Our criteria cannot always detect termination (the problem is undecidable), and we develop the first cyclicity criteria to show non-termination of the restricted chase. Experiments on real-world ontologies show that our acyclicity notions improve significantly over known criteria.

PDF IJCAI Semantic Scholar

Cite

Text

Carral et al. "Restricted Chase (Non)Termination for Existential Rules with Disjunctions." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/128

Markdown

[Carral et al. "Restricted Chase (Non)Termination for Existential Rules with Disjunctions." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/carral2017ijcai-restricted/) doi:10.24963/IJCAI.2017/128

BibTeX

@inproceedings{carral2017ijcai-restricted,
  title     = {{Restricted Chase (Non)Termination for Existential Rules with Disjunctions}},
  author    = {Carral, David and Dragoste, Irina and Krötzsch, Markus},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {922-928},
  doi       = {10.24963/IJCAI.2017/128},
  url       = {https://mlanthology.org/ijcai/2017/carral2017ijcai-restricted/}
}