Answering Metaqueries over Hi (OWL 2 QL) Ontologies
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1174-1179.
Abstract
Hi(OWL 2 QL) is a new ontology language with the OWL2QL syntax and a specific semantics designed to support metamodeling and meta-querying. In this paper we investigate the problem of answering metaqueries in Hi(OWL 2 QL), which are unions of conjunctive queries with both ABox and TBox atoms. We first focus on a specific class of ontologies, called TBox-complete, where there is no uncertainty about TBox axioms, and show that query answering in this case has the same complexity (both data and combined) as in OWL2QL. We then move to general ontologies and show that answering metaqueries is coNP-complete with respect to ontology complexity, Π2p-complete with respect to combined complexity, and remains AC0 with respect to ABox complexity. Finally, we present an optimized query answering algorithm that can be used for TBox-complete ontologies.
@inproceedings{ijcai2016p170,
title = {Answering Metaqueries over Hi (OWL 2 QL) Ontologies},
author = {Lenzerini, Maurizio and Lepore, Lorenzo and Poggi, Antonella},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {1174--1179},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/170},
}
TY - CPAPER TI - Answering Metaqueries over Hi (OWL 2 QL) Ontologies AU - Lenzerini, Maurizio AU - Lepore, Lorenzo AU - Poggi, Antonella T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 1174 EP - 1179 UR - https://ijcai.org/proceedings/2016/170 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
