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

姚绍文, 余江, 周明天

电子学报 ›› 2002, Vol. 30 ›› Issue (S1) : 2115-2118.

PDF(493 KB)
PDF(493 KB)
电子学报 ›› 2002, Vol. 30 ›› Issue (S1) : 2115-2118.
科研通信

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

  • 姚绍文1,2, 余江1, 周明天2
作者信息 +

Semantic Web-Oriented Specification of Logic Descriptive Primitives

  • YAO Shao-wen1,2, YU Jiang1, ZHOU Ming-dan2
Author information +
文章历史 +

摘要

语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性,为了针对Web这种标记语言环境描述一阶命题逻辑公式、Horn子句和推理规则,本文对OIL/RDFS进行了扩展,定义了相关的逻辑描述原语.通过典型的命题规则表示示例,说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.

Abstract

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 propositional formulae, Hom Clauses and inference rules. The representation example of typical propositional rule shows the extended specification is feasible.

关键词

语义Web / 知识工程 / 本体推理层 / 资源描述框架(模式) / Horn子句

Key words

semantic Web / knowledge engineering(KE) / OIL / RDF(S) / hom clauses

引用本文

导出引用
姚绍文, 余江, 周明天. 面向语义Web的逻辑描述原语扩展[J]. 电子学报, 2002, 30(S1): 2115-2118.
YAO Shao-wen, YU Jiang, ZHOU Ming-dan. Semantic Web-Oriented Specification of Logic Descriptive Primitives[J]. Acta Electronica Sinica, 2002, 30(S1): 2115-2118.
中图分类号: TN304   

参考文献

[1] I Horrocks,D Fensel,J Broekstra,et al.The Ontology Inference Layer OIL[EB/OL].http://www.ontoknowledge.org/oil.

[2] W3C.Resource Description Framework(RDF)Model and Syntax[S];Resource Description Framework(RDF)Schema Specification[S].W3C Recommendation,http://www.w3c.org/TR/.

[3] B Chandrasekaran,et al.What are ontologies,and why do we need them[J].IEEE Intelligent System,1999,1:20-26.

[4] Rudi Studer,et al.Knowledge engineering:Survey and future directions[A].In F.Puppe,et al.(eds.),Lecture Notes in Artificial Intelligence(LNAI)[C].Wurzburj,German:Springer-Verlag,1999,LAI 1570.

[5] Tim Berners-Lee.Semantic Web Architecture[DB/OL].http://www.w3.org/2000/talks/1206-xml2k-tbl/slide1-0.html.

基金

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

PDF(493 KB)

1653

Accesses

0

Citation

Detail

段落导航
相关文章

/