未找到相关数据
语义Web规则标记语言OWLRule+的设计与实现
被引：31
作者：
梁晟
付弘宇
李明树
机构：
[1] 中国科学院软件研究所互联网软件技术实验室,中国科学院软件研究所互联网软件技术实验室,中国科学院软件研究所互联网软件技术实验室北京,北京,北京
来源：
关键词：
语义Web;
ontology;
DAML+OIL;
OWL;
描述逻辑;
Horn规则;
CARIN;
D O I：
暂无
中图分类号：
TP312 [程序语言、算法语言];
学科分类号：
081205 [计算机软件];
摘要：
语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL语言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机 实例学习展示了它对目前的Webontology语言在规则表示和推理能力上的扩展
引用
收藏
页码：1088 / 1096
页数：9
相关论文