Combining Existential Rules with the Power of CP-Theories

Combining Existential Rules with the Power of CP-Theories

IJCAI 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence - -2015

Authors

Di Noia Tommaso, Lukasiewicz Thomas, Martinez Maria Vanina, Simari Gerardo Ignacio, Tifrea−Marciuska Oana

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.

Download: Combining Existential Rules with the Power of CP-Theories - IJCAI 2015.pdf

DOI

https://doi.org/10.3233/sw-180339

BibTex 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"

}