Explanations for Query Answers Under Existential Rules
Abstract
Ontology-mediated query answering is an extensively studied paradigm, which aims at improving query answers with the use of a logical theory. As a form of logical entailment, ontology-mediated query answering is fully interpretable, which makes it possible to derive explanations for query answers. Surprisingly, however, explaining answers for ontology-mediated queries has received little attention for ontology languages based on existential rules. In this paper, we close this gap, and study the problem of explaining query answers in terms of minimal subsets of database facts. We provide a thorough complexity analysis for several decision problems associated with minimal explanations under existential rules.
Cite
Text
Ceylan et al. "Explanations for Query Answers Under Existential Rules." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/227Markdown
[Ceylan et al. "Explanations for Query Answers Under Existential Rules." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/ceylan2019ijcai-explanations/) doi:10.24963/IJCAI.2019/227BibTeX
@inproceedings{ceylan2019ijcai-explanations,
title = {{Explanations for Query Answers Under Existential Rules}},
author = {Ceylan, Ismail Ilkan and Lukasiewicz, Thomas and Malizia, Enrico and Vaicenavicius, Andrius},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {1639-1646},
doi = {10.24963/IJCAI.2019/227},
url = {https://mlanthology.org/ijcai/2019/ceylan2019ijcai-explanations/}
}