Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013). 2013. Extended version available as CoRR technical report at https://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 https://arxiv.org/abs/1304.5810", }pdf url