面向语义Web的逻辑描述原语扩展  

Semantic Web-Oriented Specification of Logic Descriptive Primitives

作　　者：姚绍文[1,2] 余江[1] 周明天[2] 

机构地区：[1]云南大学信息学院 [2]电子科技大学计算机学院,四川成都610054

出　　处：《电子学报》2002年第12A期2115-2118,共4页Acta Electronica Sinica

基　　金：四川省重点科技攻关项目(No.SG95.17.1);云南省计算机技术应用重点实验室开放基金项目(No.99.3004)

摘　　要：语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性,为了针对Web这种标记语言环境描述一阶命题逻辑公式、Horn子句和推理规则,本文对OIL/RDFS进行了扩展,定义了相关的逻辑描述原语.通过典型的命题规则表示示例,说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.By employing the flow-blown techniques of KE, semantic Web is targeted to provide the semantic interoperability for data and knowledge exchange. As Web is characterized by markup language, this paper extends OIL/RDFS descriptive primitives to broadly represent first-order prepositional formulae,Horn Clauses and inference rules.The representation example of typical prepositional rule shows the extended specification is feasible.

关 键 词：语义WEB 知识工程 本体推理层 资源描述框架 HORN子句 

分 类 号：TP393.0[自动化与计算机技术—计算机应用技术]