Exchanging OWL 2 QL Knowledge Bases (Extended Version)

Technical Report, arXiv.org e-Print archive. CoRR Technical Report arXiv:1304.5810 2013. Available 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.

@techreport{Corr-2013-kb-exchange,
   title = "Exchanging OWL 2 QL Knowledge Bases (Extended Version)",
   year = "2013",
   author = "Marcelo Arenas and Elena Botoeva and Diego Calvanese and
Vladislav Ryzhikov",
   institution = "arXiv.org e-Print archive",
   number = "arXiv:1304.5810",
   note = "Available at https://arxiv.org/abs/1304.5810",
}