Knowledge Base Exchange

Marcelo Arenas, Elena Botoeva, and Diego Calvanese

Proc. of the 24th Int. Workshop on Description Logics (DL 2011). Volume 745 of CEUR Workshop Proceedings, http://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",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
pdf url