Knowledge Base Exchange

Proc. of the 24th Int. Workshop on Description Logics (DL). Volume 745 of CEUR Workshop Proceedings. 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)",
   pages = "4--14",
   volume = "745",
   publisher = "https://ceur-ws.org/CEUR-WS.org",
   series = "CEUR Workshop Proceedings",
}