{"type":"ScholarlyArticle","title":"Exchanging OWL 2 QL Knowledge Bases","authors":[{"name":"Marcelo Arenas","slug":"marcelo-arenas","given":"Marcelo","family":"Arenas","affiliation":""},{"name":"Elena Botoeva","slug":"elena-botoeva","given":"Elena","family":"Botoeva","affiliation":""},{"name":"Diego Calvanese","slug":"diego-calvanese","given":"Diego","family":"Calvanese","affiliation":""},{"name":"Vladislav Ryzhikov","slug":"vladislav-ryzhikov","given":"Vladislav","family":"Ryzhikov","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2013/111","pdf":"https://ijcai.org/proceedings/2013/0111.pdf","markdown":"https://ijcai.org/proceedings/2013/111.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/111","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":111,"pages":{"first":703,"last":709},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}