摘要
WWW(World Wide Web)是一个开放、分布式的环境,其中包含了大量的信息,使用知识本体可以帮助用户进行网络信息获取。在WWW上存在许多版本的知识本体,知识本体之间可以通过引用关系来实现知识本体之间的互操作和重用。由于WWW的快速增长特性以及Web知识奉体之间的相对独立性,如何集成知识本体成为更好地支持Web知识本体重用的关键问题。本文提出了一种将知识本体表示转换为一阶谓词逻辑形式表示的方法,并在此基础上提出了检查知识本体与其引用的知识本体一致性的方法以及实现知识本体集成方法。
The World Wide Web is an open repository with lots of information,in which the ontologies can help users to get their required information. There are varies of ontologies in the WWW. By reference,ontologies can be reused by others to implement interoperability of them. As the rapid evolution and autonomy of Web ontonolgies ,how to integrate ontologies becomes the key to reuse Web ontologies. This paper presents a method of mapping ontologies to frist order logic Then,it also presents methods to check the ontologies' consistency and integrate the ontologies based on the former method.
出处
《计算机科学》
CSCD
北大核心
2004年第9期1-5,19,共6页
Computer Science
基金
国家重点基础研究发展规划973资助项目(G1999035806)
国家自然科学重点基金(69833030)