摘要
语义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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2002年第12A期2115-2118,共4页
Acta Electronica Sinica
基金
四川省重点科技攻关项目(No.SG95.17.1)
云南省计算机技术应用重点实验室开放基金项目(No.99.3004)
