面向语义Web的逻辑描述原语扩展
, PP. 2115-2118
Keywords: 语义Web,知识工程,本体推理层,资源描述框架(模式),Horn子句
Abstract:
语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性,为了针对Web这种标记语言环境描述一阶命题逻辑公式、Horn子句和推理规则,本文对OIL/RDFS进行了扩展,定义了相关的逻辑描述原语.通过典型的命题规则表示示例,说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.
| [1] | W3C.Resource Description Framework(RDF)Model and Syntax[S];Resource Description Framework(RDF)Schema Specification[S].W3C Recommendation,http://www.w3c.org/TR/.
|
| [2] | Tim Berners-Lee.Semantic Web Architecture[DB/OL].http://www.w3.org/2000/talks/1206-xml2k-tbl/slide1-0.html.
|
| [3] | I Horrocks,D Fensel,J Broekstra,et al.The Ontology Inference Layer OIL[EB/OL].http://www.ontoknowledge.org/oil.
|
| [4] | B Chandrasekaran,et al.What are ontologies,and why do we need them[J].IEEE Intelligent System,1999,1:20-26.
|
| [5] | 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.
|
Full-Text
