Combining Existential Rules with the Power of CP-Theories
IJCAI 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence - -2015
AuthorsDi Noia Tommaso
, Lukasiewicz Thomas, Martinez Maria Vanina, Simari Gerardo Ignacio, Tifrea−Marciuska Oana
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.
Download: Combining Existential Rules with the Power of CP-Theories - IJCAI 2015.pdf
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"