Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Abstract
We propose that modern existential rule reasoners can enable fully declarative implementations of rule-based inference methods in knowledge representation, in the sense that a particular calculus is captured by a fixed set of rules that can be evaluated on varying inputs (encoded as facts). We introduce Datalog(S) -- Datalog with support for sets -- as a surface language for such translations, and show that it can be captured in a decidable fragment of existential rules. We then implement several known inference methods in Datalog(S), and empirically show that an existing existential rule reasoner can thus be used to solve practical reasoning problems.
Cite
Text
Carral et al. "Chasing Sets: How to Use Existential Rules for Expressive Reasoning." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/225Markdown
[Carral et al. "Chasing Sets: How to Use Existential Rules for Expressive Reasoning." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/carral2019ijcai-chasing/) doi:10.24963/IJCAI.2019/225BibTeX
@inproceedings{carral2019ijcai-chasing,
title = {{Chasing Sets: How to Use Existential Rules for Expressive Reasoning}},
author = {Carral, David and Dragoste, Irina and Krötzsch, Markus and Lewe, Christian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {1624-1631},
doi = {10.24963/IJCAI.2019/225},
url = {https://mlanthology.org/ijcai/2019/carral2019ijcai-chasing/}
}