Exchanging Description Logic Knowledge Bases

Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012). 2012.

In this paper, we study the problem of exchanging knowledge between a source and a target knowledge base (KB), connected through mappings. Differently from the traditional database exchange setting, which considers only the exchange of data, we have a special interest in exchanging implicit knowledge. As representation formalism we use Description Logics (DLs), thus assuming 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 address the problems of representing implicit source information in the target, and of computing different kinds of solutions, i.e., target KBs with specified properties, given a source KB and a mapping. We 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, and for the case of DL-LiteR .

@inproceedings{KR-2012-kb-exchange,
   title = "Exchanging Description Logic Knowledge Bases",
   year = "2012",
   author = "Marcelo Arenas and Elena Botoeva and Diego Calvanese and
Vladislav Ryzhikov and Evgeny Sherkhonov",
   booktitle = "Proc. of the 13th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2012)",
   pages = "563--567",
   publisher = "AAAI Press",
}