语义Web规则标记语言OWLRule+的设计与实现
Design and Implementation of a Semantic Web Rule Markup Language OWLRule+作者机构:中国科学院软件研究所互联网软件技术实验室北京100080
出 版 物:《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期:2004年第41卷第7期
页 面:1088-1096页
核心收录:
学科分类:0810[工学-信息与通信工程] 0808[工学-电气工程] 0839[工学-网络空间安全] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:国家"八六三"高技术研究发展计划基金项目 ( 2 0 0 2AA1160 80 ) 国家自然科学基金项目 ( 60 2 73 0 2 6)
主 题:语义Web ontology DAML+OIL OWL 描述逻辑 Horn规则 CARIN
摘 要:语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL语言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机