Combining Existential Rules with the Power of CP-Theories
Abstract
The tastes of a user can be represented in a natural way by using qualitative preferences. In this paper, we explore how ontological knowledge expressed via existential rules can be combined with CP-theories to (i) represent qualitative preferences along with domain knowledge, and (ii) perform preference-based answering of conjunctive queries (CQs). We call these combinations ontological CP-theories (OCP-theories). We define skyline and k-rank answers to CQs based on the user’s preferences encoded in an OCP-theory, and provide an algorithm for computing them. We also provide precise complexity (including data tractability) results for deciding consistency, dominance, and CQ skyline membership for OCP-theories.
Cite
Text
Di Noia et al. "Combining Existential Rules with the Power of CP-Theories." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Di Noia et al. "Combining Existential Rules with the Power of CP-Theories." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/noia2015ijcai-combining/)BibTeX
@inproceedings{noia2015ijcai-combining,
title = {{Combining Existential Rules with the Power of CP-Theories}},
author = {Di Noia, Tommaso and Lukasiewicz, Thomas and Martínez, Maria Vanina and Simari, Gerardo I. and Tifrea-Marciuska, Oana},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {2918-2925},
url = {https://mlanthology.org/ijcai/2015/noia2015ijcai-combining/}
}