规则交换格式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的应用的研究打下了一定的基础。
【学位授予单位】:吉林大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP391.1
|
|
|
|
1 |
宋如顺,姜乃松;基于Web的远程考试系统设计与实现[J];计算机工程;1999年06期 |
2 |
王红霞,姚家亮;利用ASP构建新型信息系统的方法与实现[J];计算机应用;1999年09期 |
3 |
邓劲生,张银福;面向对象的多媒体信息WEB发布[J];计算机应用研究;1999年09期 |
4 |
刁兴春,李赤红;Intranet环境下事务处理的理论研究和实现[J];小型微型计算机系统;1999年06期 |
5 |
高昆;基于ASP的WEB站点开发技术分析[J];北华大学学报(社会科学版);1999年05期 |
6 |
王清心,胡建华;经贸数据库的WEB集成发布[J];昆明理工大学学报;1999年02期 |
7 |
李晶,朱秋萍;Web页制作中的动态表现技术[J];计算机工程;2000年06期 |
8 |
刘波,代亚非,杜跃进;远程协同教学系统中课程搜索子系统设计[J];计算机应用;2000年06期 |
9 |
武庄,刘友丹;基于Web的企业内部质量审核系统设计与实现[J];计算机应用研究;2000年05期 |
10 |
梁开健,刘新民;基于ASP的图书馆Web数据库开发[J];高校图书馆工作;2000年04期 |
|