规则交换格式RIF在表示语义Web规则中的应用及其推理研究

【摘要】： 语义Web是当今万维网的扩展,目的是解决网络中信息利用率低,智能化程度不高的问题。目前,语义Web研究的重点是规则交换格式(Rule Interchange Format,RIF),RIF在语义Web体系结构中是起着承上启下的作用,既把规则引入语义Web中,又为语义Web体系结构的上层提供基础。语义Web的发展程度将很大程度上取决于RIF的应用的丰富程度。目前,RIF标准已经基本制定完成,但RIF如何与语义Web中的规则结合,如何对RIF进行推理,都是亟待解决的问题。 本文主要研究了语义Web规则语言SWRL与RIF融合的问题,定义了一种新的RIF术语集——RIF-Lite,用于表示SWRL规则,给出了SWRL到RIF-Lite的转换方法并证明了转换的等价性。本文开发了SRJ系统,SRJ系统是可以将SWRL规则转换到RIF-Lite规则,也提供编辑,查看RIF-Lite规则的人机交互界面,SRJ将RIF-Lite规则和事实转换为Jess格式,使用通用规则引擎Jess推理RIF-Lite规则,从而实现对RIF-Lite的推理。 本文是在开发RIF-Lite规则编辑工具,实现语义Web中的规则语言到RIF的转换以及推理RIF方面做出了一些探索性的研究,为未来继续对RIF的应用的研究打下了一定的基础。