未找到相关数据
面向语义Web的逻辑描述原语扩展
被引：34
作者：
姚绍文
余江
周明天
机构：
[1] 云南大学信息学院,云南大学信息学院,电子科技大学计算机学院 云南 昆明
[2] 电子科技大学计算机学院,四川 成都 ,云南 昆明 ,四川 成都
来源：
关键词：
语义Web;
知识工程;
本体推理层;
资源描述框架(模式);
Horn子句;
D O I：
暂无
中图分类号：
TP312 [程序语言、算法语言];
学科分类号：
081205 [计算机软件];
摘要：
语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性,为了针对Web这种标记语言环境描述一阶命题逻辑公式、Horn子句和推理规则,本文对OIL/RDFS进行了扩展,定义了相关的逻辑描述原语.通过典型的命题规则表示示例,说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.
引用
收藏
页码：2115 / 2118
页数：4
相关论文