Exchanging OWL 2 QL Knowledge Bases
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 703-709.
Abstract
Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping. In this paper, we study this fundamental problem for knowledge bases and mappings expressed in OWL 2 QL, the profile of OWL 2 based on the description logic DL-LiteR. More specifically, we consider the problem of computing universal solutions, identified as one of the most desirable translations to be materialized, and the problem of computing UCQ- representations, which optimally capture in a target TBox the information that can be extracted from a source TBox and a mapping by means of unions of conjunctive queries. For the former we provide a novel automata-theoretic technique, and complexity results that range from NP to EXPTIME, while for the latter we show NLOGSPACE-completeness.
@inproceedings{ijcai2013p111,
title = {Exchanging OWL 2 QL Knowledge Bases},
author = {Arenas, Marcelo and Botoeva, Elena and Calvanese, Diego and Ryzhikov, Vladislav},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {703--709},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/111},
}
TY - CPAPER TI - Exchanging OWL 2 QL Knowledge Bases AU - Arenas, Marcelo AU - Botoeva, Elena AU - Calvanese, Diego AU - Ryzhikov, Vladislav T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 703 EP - 709 UR - https://ijcai.org/proceedings/2013/111 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: