| 提要 | 第1-7页 |
| 第一章 绪论 | 第7-11页 |
| ·背景介绍 | 第7-8页 |
| ·研究意义 | 第8-10页 |
| ·本文工作 | 第10-11页 |
| 第二章 相关研究工作概述 | 第11-24页 |
| ·空间推理概述 | 第11-14页 |
| ·空间推理与空间信息理论 | 第11-12页 |
| ·空间推理的主要方法 | 第12-14页 |
| ·空间推理小结 | 第14页 |
| ·基本描述逻辑 | 第14-22页 |
| ·语法 | 第15-16页 |
| ·语义 | 第16页 |
| ·推理服务 | 第16-18页 |
| ·Tableau 算法 | 第18-21页 |
| ·描述逻辑的应用 | 第21-22页 |
| ·空间描述逻辑 | 第22-24页 |
| 第三章 ALCRP(D)的模糊扩展：FALCRP(D) | 第24-46页 |
| ·空间描述逻辑ALCRP(D) | 第24-31页 |
| ·形式定义 | 第24-26页 |
| ·可判定性问题 | 第26-28页 |
| ·Tableau 算法 | 第28-31页 |
| ·模糊集的基本理论 | 第31-34页 |
| ·引言 | 第31页 |
| ·模糊集合论的基本概念和运算 | 第31-34页 |
| ·空间描述逻辑FALCRP(D) | 第34-46页 |
| ·形式定义 | 第34-36页 |
| ·推理问题 | 第36-39页 |
| ·FALCRP(D)表算法的可靠性和完备性 | 第39-42页 |
| ·FALCRP(D)在不确定性空间推理中的应用 | 第42-46页 |
| 第四章 空间描述逻辑在空间信息检索中的应用 | 第46-58页 |
| ·空间检索与语义检索 | 第46-48页 |
| ·语义检索 | 第46-47页 |
| ·空间检索 | 第47-48页 |
| ·基于ALC+的空间描述逻辑 | 第48-49页 |
| ·RACER 推理机 | 第49-53页 |
| ·RACER 推理机简介 | 第49-50页 |
| ·RACER 知识库和RQL 语言 | 第50-53页 |
| ·基于空间描述逻辑的房地产信息检索系统 | 第53-58页 |
| 第五章 结束语 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 摘要 | 第63-66页 |
| Abstract | 第66-69页 |
| 致谢 | 第69-70页 |
| 导师及作者简介 | 第70页 |