Combining Existential Rules with the Power of CP-Theories

Di Noia, Tommaso; Lukasiewicz, Thomas; Martínez, María Vanina; Simari, Gerardo Ignacio; Tifrea-Marciuska, Oana

Combining Existential Rules with the Power of CP-Theories

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

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2918-2924.

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.

Tommaso Di Noia, Thomas Lukasiewicz, María Vanina Martínez, Gerardo Ignacio Simari, and Oana Tifrea-Marciuska. 2015. Combining Existential Rules with the Power of CP-Theories. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2918–2924. https://ijcai.org/proceedings/2015/413

@inproceedings{ijcai2015p413,
  title     = {Combining Existential Rules with the Power of CP-Theories},
  author    = {Di Noia, Tommaso and Lukasiewicz, Thomas and Martínez, María Vanina and Simari, Gerardo Ignacio and Tifrea-Marciuska, Oana},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {2918--2924},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/413},
}

TY  - CPAPER
TI  - Combining Existential Rules with the Power of CP-Theories
AU  - Di Noia, Tommaso
AU  - Lukasiewicz, Thomas
AU  - Martínez, María Vanina
AU  - Simari, Gerardo Ignacio
AU  - Tifrea-Marciuska, Oana
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2918
EP  - 2924
UR  - https://ijcai.org/proceedings/2015/413
ER  -