| 内容提要 | 第4-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 第1章 绪论 | 第12-24页 |
| 1.1 产生背景 | 第12-20页 |
| 1.1.1 描述逻辑与本体 | 第12-15页 |
| 1.1.2 推理问题的演化 | 第15-18页 |
| 1.1.3 本体模块理论 | 第18-19页 |
| 1.1.4 本体的不确定性推理 | 第19-20页 |
| 1.2 已有研究 | 第20-21页 |
| 1.3 研究入手点 | 第21页 |
| 1.3.1 本体应用方面 | 第21页 |
| 1.3.2 理论研究方面 | 第21页 |
| 1.4 论文的组织 | 第21-24页 |
| 第2章 ε(?)术语集间逻辑差的分析及应用 | 第24-42页 |
| 2.1 引言 | 第24-25页 |
| 2.2 描述逻辑ε(?) | 第25-27页 |
| 2.2.1 语言及推理问题 | 第25-26页 |
| 2.2.2 推理问题 | 第26-27页 |
| 2.3 ε(?)术语集间的逻辑差 | 第27-31页 |
| 2.3.1 本体间的逻辑差 | 第27-28页 |
| 2.3.2 ε(?)术语集间的逻辑差 | 第28-31页 |
| 2.4 对概念包含型逻辑差的分析 | 第31-38页 |
| 2.4.1 改进的插值方法 | 第31-33页 |
| 2.4.2 概念差 | 第33-34页 |
| 2.4.3 对逻辑差进行分层 | 第34-37页 |
| 2.4.4 实验结果 | 第37-38页 |
| 2.5 概念包含型逻辑差在信念修正中的应用 | 第38-39页 |
| 2.5.1 信念修正简介 | 第38-39页 |
| 2.5.2 应用概念包含型逻辑差 | 第39页 |
| 2.6 小结 | 第39-42页 |
| 第3章 模糊ε(?)术语集间的逻辑差 | 第42-54页 |
| 3.1 引言 | 第42-43页 |
| 3.2 模糊ε(?)描述逻辑 | 第43-46页 |
| 3.2.1 语言介绍 | 第43-44页 |
| 3.2.2 推理算法 | 第44-46页 |
| 3.3 模糊f_G-ε(?)术语集间的逻辑差 | 第46-52页 |
| 3.3.1 逻辑差的定义 | 第47页 |
| 3.3.2 求解策略 | 第47-52页 |
| 3.4 应用于本体的访问控制问题 | 第52-53页 |
| 3.5 小结 | 第53-54页 |
| 第4章 不同类型逻辑差间的联系 | 第54-70页 |
| 4.1 引言 | 第54页 |
| 4.2 ε(?)术语集间逻辑差研究 | 第54-57页 |
| 4.2.1 实例型逻辑差 | 第54-55页 |
| 4.2.2 实例型逻辑差的求法 | 第55-57页 |
| 4.2.3 对概念包含型逻辑差的表达 | 第57页 |
| 4.3 DL_Lite描述逻辑中的逻辑差 | 第57-68页 |
| 4.3.1 背景知识 | 第57-60页 |
| 4.3.2 DL_Lite_(bool)逻辑差的求法与紧致表达 | 第60-64页 |
| 4.3.3 DL_Lite_(horn)逻辑差的求法与表达 | 第64-68页 |
| 4.4 小结 | 第68-70页 |
| 第5章 结论与未来工作 | 第70-72页 |
| 5.1 结论 | 第70页 |
| 5.2 未来工作 | 第70-72页 |
| 参考文献 | 第72-78页 |
| 攻读博士学位期间发表的论文及参加的项目 | 第78-79页 |
| 致谢 | 第79页 |