The Combined Approach to Query Answering Beyond the OWL 2 Profiles

Feier, Cristina; Carral, David; Stefanoni, Giorgio; Grau, Bernardo Cuenca; Horrocks, Ian

The Combined Approach to Query Answering Beyond the OWL 2 Profiles

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

Download BibTeX Cite

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

Abstract

Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalises the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA.

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks. 2015. The Combined Approach to Query Answering Beyond the OWL 2 Profiles. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2971–2976. https://ijcai.org/proceedings/2015/420

@inproceedings{ijcai2015p420,
  title     = {The Combined Approach to Query Answering Beyond the OWL 2 Profiles},
  author    = {Feier, Cristina and Carral, David and Stefanoni, Giorgio and Grau, Bernardo Cuenca and Horrocks, Ian},
  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     = {2971--2976},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/420},
}

TY  - CPAPER
TI  - The Combined Approach to Query Answering Beyond the OWL 2 Profiles
AU  - Feier, Cristina
AU  - Carral, David
AU  - Stefanoni, Giorgio
AU  - Grau, Bernardo Cuenca
AU  - Horrocks, Ian
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2971
EP  - 2976
UR  - https://ijcai.org/proceedings/2015/420
ER  -