Combining Existential Rules with the Power of CP-Theories
Authors
Di Noia Tommaso, Lukasiewicz Thomas, Martinez Maria Vanina, Simari Gerardo Ignacio, Tifrea−Marciuska OanaAbstract
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.
DOI
https://doi.org/10.3233/sw-180339BibTex references
@InProceedings{DLMST15, author = "Di Noia, Tommaso and Lukasiewicz, Thomas and Martinez, Maria Vanina and Simari , Gerardo Ignacio and Tifrea\−Marciuska, Oana", title = "Combining Existential Rules with the Power of CP-Theories", booktitle = "IJCAI 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence", year = "2015", url = "http://sisinflab.poliba.it/Publications/2015/DLMST15" }