Semantic Web-Oriented Specification of Logic Descriptive Primitives

YAO Shao-wen; YU Jiang; ZHOU Ming-dan

您当前的位置：

首页 >

文章列表页 >

Semantic Web-Oriented Specification of Logic Descriptive Primitives

更新时间：2025-07-16

- Semantic Web-Oriented Specification of Logic Descriptive Primitives
- Acta Electronica Sinica Vol. 30, Issue S1, Pages: 2115-2118(2002)
- 作者机构：
  
  1. 云南大学信息学院,云南,昆明,650091
  2. 电子科技大学计算机学院,四川,成都,610054
  3. 云南大学信息学院,云南,昆明,650091
  4. 电子科技大学计算机学院,四川,成都,610054
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN304
- Published：2002
- 稿件说明：
移动端阅览
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：

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进行了扩展

定义了相关的逻辑描述原语.通过典型的命题规则表示示例

说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.

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.

关键词

Keywords

references

Views

1246

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

FONT face

Verdana

YE Yu-xin

OUYANG Dang-tong

FONT

ZHAI She-ping

WEI Juan-li

LI Zeng-zhi

Related Institution

College of Computer Science and Technology, Jilin University

Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education

School of Electronics and Information Engineering,Xi’an Jiaotong University

Network Information Center,Xi’an Physical Education University

School of Electronics and Information EngineeringXi’an Jiaotong UniversityXi’anShaanxi China

⁰