| 第一章 绪论 | 第1-17页 |
| ·问题的提出-当前Web技术的困扰 | 第11-12页 |
| ·语义Web思想和理论概述 | 第12-13页 |
| ·语义Web的体系结构 | 第13-14页 |
| ·Web语义化的关键问题及研究现状和方向 | 第14-16页 |
| ·本课题来源和文章的结构 | 第16-17页 |
| 第二章 语义Web的支撑技术 | 第17-29页 |
| ·XML和XML Schema | 第17-19页 |
| ·XML语言 | 第17-18页 |
| ·XML Schema | 第18-19页 |
| ·RDF和RDFS | 第19-23页 |
| ·资源描述框架(RDF) | 第19-21页 |
| ·RDF模式(Schema) | 第21-22页 |
| ·RDF模式的主要元语 | 第22-23页 |
| ·本体(Ontology)技术 | 第23-28页 |
| ·知识工程的发展和本体思想的引入 | 第23-25页 |
| ·本体语言 | 第25-27页 |
| ·本体层一阶逻辑公式和子句 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 Tableaux算法用于本体层逻辑推理的研究 | 第29-40页 |
| ·描述逻辑 | 第29-31页 |
| ·基本概念 | 第29-30页 |
| ·描述逻辑应用于语义Web | 第30-31页 |
| ·Tableaux算法及其应用实例 | 第31-32页 |
| ·Tableaux算法在本体推理中的应用 | 第32-34页 |
| ·数据类型组方法用于推理 | 第34-38页 |
| ·本章小结 | 第38-40页 |
| 第四章 对JESS系统的研究改进 | 第40-54页 |
| ·JESS系统功能 | 第40-42页 |
| ·从LISP到CLIPS | 第40页 |
| ·新一代工具JESS | 第40-42页 |
| ·产生式规则和正、反向推理 | 第42-44页 |
| ·JESS推理机原理(RETE算法) | 第44-46页 |
| ·JESS推理系统的不足和改进 | 第46-50页 |
| ·TREAT算法 | 第46-47页 |
| ·RETE*算法 | 第47页 |
| ·RETE与TREAT性能比较 | 第47-50页 |
| ·我们提出的一个行之有效的改进策略 | 第50-53页 |
| ·本章小节 | 第53-54页 |
| 第五章 本体知识库自动推理的研究 | 第54-66页 |
| ·语义Web中现有的智能推理技术分析 | 第54-56页 |
| ·RDF层推理 | 第54-56页 |
| ·本体层推理 | 第56页 |
| ·逻辑层推理 | 第56页 |
| ·Agent技术应用于语义Web | 第56-58页 |
| ·本体-逻辑层自动推理模型 | 第58-60页 |
| ·Web推理引擎原型系统的主要功能模块设计 | 第60-62页 |
| ·SWIE(Semantic Web Inference Engine)实现示例 | 第62-64页 |
| ·SWIE评估 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 结束语 | 第66-68页 |
| ·本文的总结 | 第66页 |
| ·对语义Web推理研究的展望 | 第66-68页 |
| 参考文献 | 第68-71页 |
| 攻读硕士学位期间发表的论文 | 第71页 |