Proc. of the 24th Int. Workshop on Description Logics (DL 2011). Volume 745 of CEUR Workshop Proceedings, https://ceur-ws.org/. 2011.
In this paper, we study the problem of exchanging knowledge between two knowledge bases (KBs) connected through mappings, with a special interest in exchanging implicit knowledge, not only data like in the traditional database exchange setting. As representation formalism we use Description Logics (DL) that exhibit a reasonable tradeoff between expressive power and complexity of reasoning. Thus, we assume that the source and target KBs are given as a DL TBox+ABox, while the mappings have the form of DL TBox assertions. We study the problem of translating the knowledge in the source KB according to these mappings. We define a general framework of KB exchange, and specify the problems of computing and representing different kinds of solutions, i.e., target KBs with specified properties, given a source KB and a mapping. We then develop first results and techniques and study the complexity of KB exchange for the case of DL-LiteRDFS , a DL that corresponds to the FOL fragment of RDFS.
@inproceedings{DL-2011-kb-exchange, title = "Knowledge Base Exchange", year = "2011", author = "Marcelo Arenas and Elena Botoeva and Diego Calvanese", booktitle = "Proc. of the 24th Int. Workshop on Description Logics (DL 2011)", pages = "4--14", volume = "745", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings, https://ceur-ws.org/", }pdf url