| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-8页 |
| 1 绪论 | 第8-14页 |
| ·课题研究背景与研究意义 | 第8-10页 |
| ·国内外研究现状 | 第10-12页 |
| ·本文的主要工作 | 第12-13页 |
| ·论文结构 | 第13-14页 |
| 2 相关概念和技术 | 第14-22页 |
| ·语义网 | 第14-16页 |
| ·本体理论 | 第16-19页 |
| ·描述逻辑介绍 | 第19-20页 |
| ·Vague 集的基本概念 | 第20-21页 |
| ·Vague 集的性质 | 第21页 |
| ·本章小结 | 第21-22页 |
| 3 V-ALC 模糊描述逻辑公理体系 | 第22-29页 |
| ·ALC 介绍 | 第22-23页 |
| ·ALC 语法介绍 | 第22页 |
| ·ALC 的知识库 | 第22-23页 |
| ·公理系统 | 第23-25页 |
| ·V-ALC 定义及其语义运算法则以及系统公理 | 第25-26页 |
| ·V-ALC 公理体系中定理的提出和证明 | 第26-28页 |
| ·本章小结 | 第28-29页 |
| 4 基于 V-ALC 模糊描述逻辑公理体系的 OWL 扩展 | 第29-39页 |
| ·OWL 及其理论基础 | 第29-32页 |
| ·本体描述语言的发展 | 第29-30页 |
| ·OWL 语言层次 | 第30-32页 |
| ·VARL 扩展OWL 基本元素 | 第32-37页 |
| ·VARL 对类与个体的描述 | 第32-35页 |
| ·VARL 扩展对属性的描述 | 第35-36页 |
| ·VARL 扩展对层次的描述 | 第36-37页 |
| ·基于VARL 形式的知识表示 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 5 基于 VARL 的本体构建 | 第39-46页 |
| ·本体构建的准则与过程 | 第39-41页 |
| ·本体构建的准则 | 第39-40页 |
| ·本体构建的过程 | 第40-41页 |
| ·基于Protégé上的VARL 的本体构建的实现 | 第41-45页 |
| ·Protégé介绍 | 第42页 |
| ·基于VARL 的本体的需求分析 | 第42-43页 |
| ·构建类元素 | 第43-44页 |
| ·构建属性元素 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 6 构建 VARL 推理机 | 第46-52页 |
| ·Jena 推理介绍 | 第46-48页 |
| ·Jena 简介 | 第46-47页 |
| ·Jena 推理引擎 | 第47页 |
| ·Jena 推理架构 | 第47-48页 |
| ·VARL 推理机模型引擎 | 第48-49页 |
| ·简单验证推理机 | 第49-51页 |
| ·本章小结 | 第51-52页 |
| 7 结论与展望 | 第52-54页 |
| ·结论 | 第52-53页 |
| ·工作展望 | 第53-54页 |
| 致谢 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 附录 | 第58页 |
| A. 作者在攻读学位期间发表的论文目录 | 第58页 |
| B. 作者在攻读学位期间参与的项目 | 第58页 |