| 中文摘要 | 第1-9页 |
| Abstract | 第9-11页 |
| 第一章 绪论 | 第11-20页 |
| ·本体及owl语言在推理方面的作用 | 第11-12页 |
| ·推理机的起源与发展 | 第12-14页 |
| ·本体推理机的理论基础及研究现状 | 第14-18页 |
| ·本体推理技术 | 第14-15页 |
| ·本体推理机的功能、结构及分类 | 第15-17页 |
| ·本体推理机的研究现状 | 第17-18页 |
| ·论文研究内容及创新点 | 第18-20页 |
| 第二章 框架网络本体 | 第20-23页 |
| ·框架网络本体的特点 | 第20页 |
| ·框架网络本体的结构 | 第20-23页 |
| ·框架及框架关系 | 第21页 |
| ·框架元素及其关系 | 第21-22页 |
| ·词元 | 第22页 |
| ·语义类型 | 第22页 |
| ·例句及语料 | 第22-23页 |
| 第三章 基于erlang语言的本体推理机eresye | 第23-40页 |
| ·Erlang语言介绍 | 第23-24页 |
| ·CLIPS工具和RETE算法概览 | 第24-28页 |
| ·CLIPS工具介绍 | 第25-26页 |
| ·CLIPS工具与外部程序的整合 | 第26页 |
| ·RETE算法介绍 | 第26-28页 |
| ·Eresye介绍 | 第28-37页 |
| ·Eresye的结构 | 第30-31页 |
| ·ERESYE和RETE算法的关系 | 第31-32页 |
| ·Eresye中如何使用本体 | 第32-35页 |
| ·ERESYE推理引擎作为协调介质的作用 | 第35-37页 |
| ·Eresye的示例 | 第37-38页 |
| ·ERESYE和CLIPS的比较 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 框架网络本体下eresye推理机的程序实例 | 第40-57页 |
| ·Crime-sample程序实例的构成 | 第40-48页 |
| ·添加、删除、修改规则 | 第48-50页 |
| ·定义规则的优先级 | 第50-51页 |
| ·程序实例的运行演示 | 第51-57页 |
| ·以crime-test程序为例进行演示 | 第51-54页 |
| ·以crime-sample程序为例进行演示 | 第54-57页 |
| 第五章 总结及展望 | 第57-58页 |
| ·总结 | 第57页 |
| ·展望 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 攻读学位期间取得的研究成果 | 第60-61页 |
| 致谢 | 第61-62页 |
| 个人简况及联系方式 | 第62-64页 |