【摘要】 <正> 1 引言 Web的发展使得Internet能够迅速地普及.通过Web人们可以得到各种各样的服务。随着新的应用不断加入到Web应用,Web的发展面临着应用标准不兼容、语义定义不严格、有效性和结构化缺乏等大量问题。这些问题使得针对Web资源难以进行机器自动查询、检索。Web上现有的信息完全是非结构化或半结构化的信息,即使通过CGI从数据库中得到了结构化的数据,插入到Web页面中也失去了其原有的语义属性。要使得Web能够象数据库管理系统甚至知识库系统一样支持诸如描述、搜索、管理、交换和更新等准确的处理,就需要处理Web的元信息,把元信息以某种方式结构化。更多还原

【Abstract】 RDF(S) is the standard for metadata of Web that aims to turn the current Web into the foundation of a machine-understandable knowledge system. By employing the flow-blown technique of KE, the Web-NG is targeted to provide the semantic inter-operability for data and knowledge exchange. As a hot spot in KE, ontology can be well integrated with the Web and such integration will support knowledge modeling and description on the Web-based applications. This paper introduces RDF(S), Web-NG and an Web-based ontology modeling language OIL. Based on the introduction, the paper defines an extension of OIL/RDFS on proposition logic, and presents an approach for modeling proposition formula and inferring rule.更多还原