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

您当前的位置：

首页 >

文章列表页 >

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

科研通信 | 更新时间：2025-07-16

- 面向语义Web的逻辑描述原语扩展
- Semantic Web-Oriented Specification of Logic Descriptive Primitives
- 电子学报 2002年30卷第S1期页码：2115-2118
- 作者机构：
  
  1. 云南大学信息学院,云南,昆明,650091
  2. 电子科技大学计算机学院,四川,成都,610054
  3. 云南大学信息学院,云南,昆明,650091
  4. 电子科技大学计算机学院,四川,成都,610054
- 作者简介：
- 基金信息：
  
  四川省重点科技攻关项目 (No.SG95.17.1);云南省计算机技术应用重点实验室开放基金项目 (No.99.3004)
- DOI：
  中图分类号： TN304
- 纸质出版：2002
- 稿件说明：
移动端阅览
姚绍文, 余江, 周明天. 面向语义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.
姚绍文, 余江, 周明天. 面向语义Web的逻辑描述原语扩展[J]. 电子学报, 2002,30(S1):2115-2118. DOI：

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. DOI：

语义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 propositional formulae

Hom Clauses and inference rules. The representation example of typical propositional rule shows the extended specification is feasible.

浏览量

1246

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据