摘要
1引言Web的发展使得Internet能够迅速地普及,通过Web人们可以得到各种各样的服务.随着新的应用不断加入到Web应用,Web的发展面临着应用标准不兼容、语义定义不严格、有效性和结构化缺乏等大量问题.这些问题使得针对Web资源难以进行机器自动查询、检索.
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.
出处
《计算机科学》
CSCD
北大核心
2002年第2期43-47,共5页
Computer Science