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 onto-logical 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
Combining Existential Rules with the Power of CP-Theories / DI NOIA, Tommaso; Thomas, Lukasiewicz; Maria Vanina, Martinez; Gerardo, Simari; Oana Tifrea, Marciuska. - In: IJCAI. - ISSN 1045-0823. - 2015:(2015), pp. 2918-2925. (Intervento presentato al convegno Twenty-Fourth International Joint Conference on Artificial Intelligence tenutosi a Buenos Aires; Argentina nel 25-31 July 2015).
Combining Existential Rules with the Power of CP-Theories
DI NOIA, Tommaso;
2015-01-01
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 onto-logical 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-theoriesI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
