| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第一章 绪论 | 第9-17页 |
| ·模糊知识推理研究背景 | 第9-14页 |
| ·模糊信息处理的发展 | 第9-11页 |
| ·推理技术研究背景 | 第11-13页 |
| ·基于语义网的模糊知识推理存在的主要问题和发展方向 | 第13-14页 |
| ·研究目标和主要研究内容 | 第14-15页 |
| ·论文组织结构 | 第15-17页 |
| 第二章 语义网中模糊描述逻辑及推理机研究综述 | 第17-32页 |
| ·描述逻辑研究 | 第17-22页 |
| ·描述逻辑定义 | 第17-20页 |
| ·描述逻辑的发展 | 第20-22页 |
| ·模糊逻辑 | 第22-26页 |
| ·模糊逻辑数学基础 | 第22-24页 |
| ·模糊逻辑推理 | 第24-25页 |
| ·模糊描述逻辑 | 第25-26页 |
| ·现有语义Web中的逻辑推理机介绍 | 第26-31页 |
| ·推理机主要推理方式 | 第26-28页 |
| ·现有推理机应用 | 第28-31页 |
| ·本章小结 | 第31-32页 |
| 第三章 F-SHIQ 模糊描述逻辑公理体系 | 第32-49页 |
| ·基础描述逻辑SHIQ | 第32-35页 |
| ·描述逻辑SHIQ 语法 | 第32-33页 |
| ·描述逻辑SHIQ 语义 | 第33-35页 |
| ·F-SHIQ 公理系统中的基本约定 | 第35-41页 |
| ·公理系统产生 | 第35-36页 |
| ·公理系统的初始符号 | 第36-37页 |
| ·公理系统中基本的形成规则 | 第37页 |
| ·系统中的定义 | 第37-41页 |
| ·系统公理及其语义运算法则 | 第41-42页 |
| ·系统公理的提出 | 第41页 |
| ·语义运算法则 | 第41-42页 |
| ·逻辑系统中定理的提出与证明 | 第42-48页 |
| ·本章小节 | 第48-49页 |
| 第四章 基于F-SHIQ 公理体系的OWL扩展 | 第49-67页 |
| ·OWL及其理论基础 | 第49-52页 |
| ·本体描述语言的发展 | 第49-51页 |
| ·OWL DL对知识的描述 | 第51-52页 |
| ·FSRL扩展对基本元素的描述 | 第52-64页 |
| ·FSRL对类与个体的描述 | 第53-59页 |
| ·FSRL对属性的描述 | 第59-62页 |
| ·FSRL对其他操作的描述 | 第62-64页 |
| ·FSRL扩展的知识表示 | 第64-66页 |
| ·本章小结 | 第66-67页 |
| 第五章 基于F-SHIQ 公理体系的本体建立 | 第67-84页 |
| ·本体及其建模方法 | 第67-70页 |
| ·本体的特点 | 第67-68页 |
| ·本体的建模 | 第68-70页 |
| ·公理体系本体的设计与实现 | 第70-81页 |
| ·本体的构造方法 | 第70-71页 |
| ·本体的需求分析 | 第71-73页 |
| ·定义本体中概念类元素 | 第73-77页 |
| ·定义本体中关系属性元素 | 第77-81页 |
| ·系统中定理的规则库建立 | 第81-83页 |
| ·本章总结 | 第83-84页 |
| 第六章 基于F-SHIQ 公理体系推理机的设计与实现 | 第84-95页 |
| ·推理方法及推理机设计 | 第84-88页 |
| ·推理方法的研究 | 第84-86页 |
| ·推理机整体推理设计 | 第86-88页 |
| ·推理机的工作流程 | 第88-93页 |
| ·推理机实验检验与结果 | 第93-94页 |
| ·本章小结 | 第94-95页 |
| 第七章 结论和展望 | 第95-98页 |
| ·结论 | 第95-96页 |
| ·展望 | 第96-98页 |
| 参考文献 | 第98-106页 |
| 发表论文和科研情况说明 | 第106-107页 |
| 致谢 | 第107页 |