Exchanging OWL 2 QL Knowledge Bases

Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov

Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013). 2013. Extended version available as CoRR technical report at http://arxiv.org/abs/1304.5810.

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{IJCAI-2013-kb-exchange,
   title = "Exchanging OWL 2 QL Knowledge Bases",
   year = "2013",
   author = "Marcelo Arenas and Elena Botoeva and Diego Calvanese and
Vladislav Ryzhikov",
   booktitle = "Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence
(IJCAI 2013)",
   note = "Extended version available as CoRR technical report at
http://arxiv.org/abs/1304.5810",
}
pdf url