论文部分内容阅读
语义Web是对未来Web体系结构的一个伟大设想,其研究分层次进行.目前足够成熟的最高层是以OWL语言为代表的ontology层.但它的语义仅限于描述逻辑,该逻辑主要表示对象和类的层次结构,而规则的表达能力弱.因此在其之上需要一种表达力更丰富的逻辑语言.设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL;语义基于CARIN,一种结合描述逻辑和Horn规则的表示语言;实现基于Jess规则推理机.实例学习展示了它对目前的Web ontology语言在规则表示和推理能力上的扩展.