| 摘要 | 第5-8页 |
| Abstract | 第8-10页 |
| 目录 | 第11-14页 |
| 第1章 绪论 | 第14-32页 |
| 1.1 研究背景 | 第14-19页 |
| 1.2 国内外相关研究的现状与分析 | 第19-27页 |
| 1.2.1 模糊描述逻辑研究 | 第19-22页 |
| 1.2.2 描述逻辑合取查询的研究 | 第22-24页 |
| 1.2.3 模糊描述逻辑合取查询的研究 | 第24-25页 |
| 1.2.4 描述逻辑推理机及查询引擎研究 | 第25-27页 |
| 1.3 本文工作 | 第27-32页 |
| 1.3.1 研究内容 | 第28-29页 |
| 1.3.2 论文的组织结构 | 第29-32页 |
| 第2章 相关理论基础 | 第32-44页 |
| 2.1 描述逻辑基础 | 第32-37页 |
| 2.1.1 描述逻辑ALC | 第32-36页 |
| 2.1.2 常见描述逻辑构件 | 第36-37页 |
| 2.2 模糊集基本理论 | 第37-39页 |
| 2.2.1 模糊集的基本概念 | 第37-38页 |
| 2.2.2 模糊集运算 | 第38-39页 |
| 2.3 模糊描述逻辑f-ALC | 第39-42页 |
| 2.4 本章小结 | 第42-44页 |
| 第3章 f-DL-Lite合取查询应答 | 第44-62页 |
| 3.1 描述逻辑DL-Lite系列 | 第44-45页 |
| 3.2 模糊描述逻辑f-DL-Lite系列 | 第45-50页 |
| 3.2.1 f-DL-Lite_(core) | 第46-47页 |
| 3.2.2 f-DL-Lite_(core)扩展 | 第47-50页 |
| 3.3 合取查询语言 | 第50-51页 |
| 3.4 模糊合取查询应答 | 第51-60页 |
| 3.4.1 知识库标准化 | 第52-53页 |
| 3.4.2 知识库可满足性检查 | 第53-54页 |
| 3.4.3 查询重写 | 第54-57页 |
| 3.4.4 top-k应答 | 第57页 |
| 3.4.5 完整算法 | 第57页 |
| 3.4.6 f-DL-Lite系列合取查询应答算法 | 第57-59页 |
| 3.4.7 算法复杂性分析 | 第59-60页 |
| 3.5 本章小结 | 第60-62页 |
| 第4章 f-SH系列描述逻辑合取查询蕴涵 | 第62-92页 |
| 4.1 模糊描述逻辑f-SH系列 | 第62-66页 |
| 4.1.1 f-SHOIQ语法 | 第62-64页 |
| 4.1.2 f-SHOIQ语义 | 第64-66页 |
| 4.1.3 基本假设 | 第66页 |
| 4.2 模糊合取查询语言 | 第66-68页 |
| 4.3 模糊查询蕴涵算法 | 第68-88页 |
| 4.3.1 FL-知识库的完全图 | 第68-76页 |
| 4.3.2 完全图的模型与知识库的模型 | 第76-79页 |
| 4.3.3 在完全图中检查查询蕴涵 | 第79-81页 |
| 4.3.4 模糊推演表与规范模型 | 第81-88页 |
| 4.4 可终止性与复杂度分析 | 第88-91页 |
| 4.5 本章小结 | 第91-92页 |
| 第5章 查询推理机的设计与实现 | 第92-114页 |
| 5.1 功能描述 | 第92-94页 |
| 5.2 GKRSS语法 | 第94-97页 |
| 5.3 结构与设计 | 第97-105页 |
| 5.3.1 语法处理模块 | 第99-100页 |
| 5.3.2 基本推理服务转换器 | 第100-101页 |
| 5.3.3 模糊描述逻辑推理引擎 | 第101-104页 |
| 5.3.4 查询转换器 | 第104-105页 |
| 5.3.5 查询引擎 | 第105页 |
| 5.4 优化技术 | 第105-110页 |
| 5.4.1 惰性展开 | 第106-107页 |
| 5.4.2 跟踪 | 第107-108页 |
| 5.4.3 知识库标准化和简化 | 第108-109页 |
| 5.4.4 隶属度规范化 | 第109-110页 |
| 5.5 用户指南 | 第110-111页 |
| 5.6 测试与性能分析 | 第111-112页 |
| 5.7 本章小结 | 第112-114页 |
| 第6章 模糊OWL本体查询 | 第114-132页 |
| 6.1 OWL与DL | 第114-118页 |
| 6.1.1 OWL DL语法语义 | 第115-116页 |
| 6.1.2 OWL本体推理与描述逻辑推理 | 第116-118页 |
| 6.2 f-OWL | 第118-120页 |
| 6.3 f-SPARQL | 第120-126页 |
| 6.3.1 SPARQL介绍 | 第120-122页 |
| 6.3.2 f-SPARQL语法 | 第122-126页 |
| 6.4 模糊本体合取查询 | 第126-131页 |
| 6.4.1 f-OWL到f-SHOIN(D) | 第126-127页 |
| 6.4.2 f-SPARQL到datalog布尔合取查询 | 第127-128页 |
| 6.4.3 f-OWL本体查询应答到模糊描述逻辑知识库查询蕴涵 | 第128-129页 |
| 6.4.4 本体查询实例 | 第129-131页 |
| 6.5 本章小结 | 第131-132页 |
| 第7章 结束语 | 第132-136页 |
| 7.1 本文的主要贡献与结论 | 第132-133页 |
| 7.2 未来工作 | 第133-136页 |
| 参考文献 | 第136-150页 |
| 致谢 | 第150-152页 |
| 攻博期间参加的科研项目 | 第152-154页 |
| 攻读博士期间发表的文章 | 第154-156页 |
