| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第一章 绪论 | 第13-29页 |
| ·研究背景 | 第13-16页 |
| ·国内外相关研究的现状与分析 | 第16-24页 |
| ·模糊描述逻辑的研究 | 第16-20页 |
| ·描述逻辑推理机的研究 | 第20-24页 |
| ·OWL的模糊扩展研究 | 第24页 |
| ·本文工作 | 第24-29页 |
| ·研究内容 | 第25-26页 |
| ·论文的组织结构 | 第26-29页 |
| 第二章 相关理论基础 | 第29-43页 |
| ·经典描述逻辑 | 第29-35页 |
| ·描述逻辑ALC | 第29-33页 |
| ·常见描述逻辑构造子 | 第33-35页 |
| ·模糊集基本理论 | 第35-37页 |
| ·模糊集的基本概念 | 第35-36页 |
| ·模糊集的运算及性质 | 第36-37页 |
| ·模糊描述逻辑 | 第37-41页 |
| ·模糊描述逻辑F-ALC | 第37-39页 |
| ·模糊描述逻辑F-SHOIN | 第39-41页 |
| ·本章小结 | 第41-43页 |
| 第三章 一种模糊数据类型表示的统一机制 | 第43-55页 |
| ·XML Schema与OWL的数据类型表达能力比较 | 第43-46页 |
| ·XML Schema的数据类型机制及其模糊扩展 | 第43-46页 |
| ·OWL数据类型表示机制的局限性 | 第46页 |
| ·一种模糊数据类型表示的统一机制 | 第46-51页 |
| ·模糊数据类型域 | 第46-49页 |
| ·模糊数据类型表达式 | 第49-50页 |
| ·模糊数据类型查询及其可满足性 | 第50-51页 |
| ·模糊数据类型概念 | 第51页 |
| ·模糊数据类型查询的可判定性 | 第51-52页 |
| ·与模糊具体域的表达能力比较 | 第52-53页 |
| ·本章小结 | 第53-55页 |
| 第四章 模糊描述逻辑F-ALC(G) | 第55-85页 |
| ·F-ALC(G)的语法、语义及知识库表示 | 第55-57页 |
| ·F-ALC(G)的推理问题 | 第57-74页 |
| ·F-ALC(G)ABox的模糊推演表 | 第57-61页 |
| ·F-ALC(G)ABox的模糊推演表的构建算法 | 第61-66页 |
| ·F-ALC(G)的推理结构及推理机的设计 | 第66-73页 |
| ·F-ALC(G)的其他推理问题 | 第73-74页 |
| ·正确性证明 | 第74-79页 |
| ·可终止性 | 第74-76页 |
| ·可靠性、完备性 | 第76-79页 |
| ·复杂性证明 | 第79-83页 |
| ·复杂性分析 | 第80-82页 |
| ·多项式空间优化 | 第82-83页 |
| ·本章小结 | 第83-85页 |
| 第五章 模糊描述逻辑推理机的设计与实现 | 第85-101页 |
| ·FRESG1.0的功能与语法 | 第85-90页 |
| ·FRESG1.0介绍及其主要功能 | 第85-86页 |
| ·FRESG1.0的语法 | 第86-90页 |
| ·FRESG1.0的结构与设计 | 第90-95页 |
| ·编译器 | 第91页 |
| ·Tableaux推理机 | 第91-93页 |
| ·模糊数据类型推理机 | 第93-94页 |
| ·推理转换 | 第94-95页 |
| ·使用与测试 | 第95-98页 |
| ·表达能力与性能分析 | 第98-99页 |
| ·表达能力分析 | 第98页 |
| ·性能分析 | 第98-99页 |
| ·本章小结 | 第99-101页 |
| 第六章 模糊描述逻辑FSHOIN(G) | 第101-119页 |
| ·模糊描述逻辑F-SHOIN(G) | 第101-114页 |
| ·F-SHOIN(G)的语法、语义及知识库表示 | 第102-103页 |
| ·F-SHOIN(G)的推理问题 | 第103-110页 |
| ·F-SHOIN(G)推理问题的正确性证明 | 第110-114页 |
| ·FSHOIN(G)推理问题的复杂性分析 | 第114页 |
| ·与模糊描述逻辑f-SHOIQ(D)的比较 | 第114-115页 |
| ·模糊描述逻辑L(G) | 第115-117页 |
| ·本章小结 | 第117-119页 |
| 第七章 模糊OWL扩展 | 第119-133页 |
| ·OWL介绍 | 第119-121页 |
| ·模糊OWL | 第121-127页 |
| ·从OWL转换到f-OWL | 第127-129页 |
| ·从f-OWL本体到F-SHOIN(G)知识库 | 第129-131页 |
| ·本章小结 | 第131-133页 |
| 第八章 结束语 | 第133-137页 |
| ·本文的主要贡献与结论 | 第133-135页 |
| ·未来的工作 | 第135-137页 |
| 参考文献 | 第137-147页 |
| 致谢 | 第147-149页 |
| 攻博期间参加的科研项目 | 第149-151页 |
| 攻读博士期间发表的文章 | 第151-153页 |
| 作者简介 | 第153页 |