论文部分内容阅读
WWW(World Wide Web)是一个开放、分布式的环境,其中包含了大量的信息,使用知识本体可以帮助用户进行网络信息获取.在WWW上存在许多版本的知识本体,知识本体之间可以通过引用关系来实现知识本体之间的互操作和重用.由于WWW的快速增长特性以及Web知识本体之间的相对独立性,如何集成知识本体成为更好地支持Web知识本体重用的关键问题.本文提出了一种将知识本体表示转换为一阶谓词逻辑形式表示的方法,并在此基础上提出了检查知识本体与其引用的知识本体一致性的方法以及实现知识本体集成方法.