检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:李剑[1]
机构地区:[1]中科院软件所软件工程技术中心,北京100080
出 处:《计算机科学》2004年第9期1-5,19,共6页Computer Science
基 金:国家重点基础研究发展规划973资助项目(G1999035806);国家自然科学重点基金(69833030)
摘 要: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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.232