| 提要 | 第1-7页 |
| 第1章 绪论 | 第7-13页 |
| ·引言 | 第7页 |
| ·研究背景 | 第7-10页 |
| ·万维网的发展 | 第7-8页 |
| ·语义 Web 的提出 | 第8-9页 |
| ·语义 Web 中规则的引入 | 第9-10页 |
| ·问题陈述 | 第10-11页 |
| ·主要工作 | 第11页 |
| ·本文结构 | 第11-13页 |
| 第2章 语义 Web 和规则 | 第13-26页 |
| ·语义Web 体系结构 | 第13-20页 |
| ·超文本网络技术 | 第14-15页 |
| ·标准化语义 Web 技术 | 第15-19页 |
| ·尚未实现的语义 Web 技术 | 第19-20页 |
| ·规则交换格式 | 第20-22页 |
| ·Jess 规则引擎 | 第22-26页 |
| ·Jess 规则引擎总体框架 | 第23页 |
| ·Jess 语法 | 第23-26页 |
| 第3章 RIF-Lite | 第26-32页 |
| ·RIF-FLD | 第26页 |
| ·RIF-Lite 的语法定义 | 第26-28页 |
| ·RIF-Lite 字母表 | 第26-27页 |
| ·RIF-Lite 项 | 第27页 |
| ·RIF-Lite 公式 | 第27-28页 |
| ·RIF-Lite 的 EBNF 表示 | 第28-29页 |
| ·前提条件语言 | 第28-29页 |
| ·规则语言 | 第29页 |
| ·RIF-Lite 的语义描述 | 第29-31页 |
| ·RIF-Lite 的 XML 语法 | 第31-32页 |
| 第4章 应用 RIF-LitE 表示 SWRL. | 第32-43页 |
| ·SWRL 简介 | 第32页 |
| ·SWRL 语法 | 第32-34页 |
| ·SWRL 的语法定义 | 第32-33页 |
| ·SWRL 规则的例子 | 第33-34页 |
| ·SWRL 语义 | 第34-37页 |
| ·SWRL 到 RIF-Lite 的转换 | 第37-40页 |
| ·SWRL 词汇到RIF 词汇的转换. | 第37页 |
| ·SWRL 规则中的原子到RIF-Lite 的转换 | 第37-39页 |
| ·SWRL 连接符到RIF-Lite 的转换. | 第39-40页 |
| ·SWRL 规则到RIF-Lite 的转换 | 第40页 |
| ·SWRL 语义与 RIF-Lite 语义的等价 | 第40-41页 |
| ·SWRL 到 RIF-Lite 的转换 | 第41-43页 |
| 第5章 基于 RIF-Lite 的规则转换及推理系统设计 | 第43-65页 |
| ·SRJ 系统总体结构 | 第44-46页 |
| ·SRJ 系统总体框架 | 第44-45页 |
| ·SRJ 系统功能性定义 | 第45-46页 |
| ·SRJ 系统的数据类型定义 | 第46-51页 |
| ·SWRL 模型(SWRLModel). | 第46-50页 |
| ·RIF-Lite 规则模型(RIFLiteModel) | 第50页 |
| ·Jess 规则模型(JessModel). | 第50-51页 |
| ·SWRL2RIF 模块 | 第51-61页 |
| ·SWRL2RIF 模块框架图 | 第51-52页 |
| ·ReadSWRL 组件 | 第52-54页 |
| ·ParseSWRL 组件 | 第54-59页 |
| ·TranSWRL 组件 | 第59-61页 |
| ·RIF2Jess 模块 | 第61-65页 |
| ·RIF2Jess 模块总体结构. | 第61页 |
| ·InferFact 组件 | 第61-63页 |
| ·TranRule 组件 | 第63-65页 |
| 第6章 SRJ 原型系统实现及实验 | 第65-70页 |
| ·SRJ 原型系统的实现 | 第65-66页 |
| ·实验 | 第66-70页 |
| 第7章 总结 | 第70-71页 |
| 参考文献 | 第71-74页 |
| 攻读硕士期间发表的学术论文及参加的项目 | 第74-75页 |
| 致谢 | 第75-76页 |
| 摘要 | 第76-79页 |
| Abstract | 第79-80页 |
