分析了描述逻辑与信息集成的关系,以及描述逻辑在信息集成中的研究现状和存在的问题。在D Calvanese的工作基础上。进一步研究了P2P环境下基于描述逻辑DLR的信息集成机制,提出了基于DLR的P2P信息集成系统的形式化定义,重点研究了如何将P2P信息集成系统转化为一个统一的描述逻辑系统GDL,并证明了该转化方法的正确性,给出了P2P环境下基于DLR的信息查询方法及其实现方法。
The relationship of description logics and information integration, especially the current research progresses and the existing problems of description logic for information integration, are analyzed. Based on the work of D Calvanese, the method of description logic DLR based information integration under P2P environment is further studied. The formal definition of description logic DLR based P2P information integration system is given. How to translate P2P information integration system into a uniform description logic GDL is studied, and the correctness of the translation method is proved. And the method of query and its implement of description logic DLR based information integration under P2P environment are given.