| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第一章 绪论 | 第10-17页 |
| ·研究背景及意义 | 第10-11页 |
| ·国内外研究现状 | 第11-15页 |
| ·本体研究现状 | 第11-14页 |
| ·空间拓扑关系研究现状 | 第14-15页 |
| ·本文的研究内容及所做的主要工作 | 第15-16页 |
| ·本文的组织结构 | 第16-17页 |
| 第二章 本体理论及工具概述 | 第17-37页 |
| ·本体基本概念 | 第17-23页 |
| ·本体的定义 | 第17-18页 |
| ·本体的分类 | 第18-19页 |
| ·本体的基本构成 | 第19-20页 |
| ·常用本体构建方法 | 第20-23页 |
| ·语义 Web及地理本体 | 第23-26页 |
| ·语义 Web | 第23-24页 |
| ·地理本体 | 第24-26页 |
| ·本体描述语言 | 第26-32页 |
| ·基于人工智能的本体描述语言 | 第27-28页 |
| ·基于 Web的本体表示语言 | 第28-31页 |
| ·OWL语言 | 第31-32页 |
| ·本体建模工具 | 第32-36页 |
| ·本章小结 | 第36-37页 |
| 第三章 基于 SRC-Ontology的空间拓扑关系拓展表示 | 第37-51页 |
| ·空间拓扑关系的表示方法 | 第37-40页 |
| ·SRC-Ontology | 第40-42页 |
| ·基本空间拓扑关系表示 | 第42-44页 |
| ·空间拓扑关系组合推理拓展表示 | 第44-50页 |
| ·本章小结 | 第50-51页 |
| 第四章 空间拓扑关系本体在 Protégé中的建模实现 | 第51-60页 |
| ·Protégé工具介绍 | 第51-52页 |
| ·空间拓扑关系本体的建模实现 | 第52-59页 |
| ·空间拓扑关系本体结构设计 | 第52-56页 |
| ·空间拓扑关系的约束表示 | 第56-57页 |
| ·Racer推理机 | 第57-58页 |
| ·空间拓扑关系的图示 | 第58-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 空间拓扑关系的判定实现 | 第60-69页 |
| ·实现环境及判定流程 | 第60-62页 |
| ·实现环境 | 第60页 |
| ·判定流程 | 第60-62页 |
| ·空间拓扑关系基本算子实现 | 第62-64页 |
| ·空间拓扑关系判定实现 | 第64-68页 |
| ·本章小结 | 第68-69页 |
| 第六章 总结及展望 | 第69-70页 |
| 参考文献 | 第70-77页 |
| 致谢 | 第77-78页 |
| 攻读学位期间的研究成果 | 第78页 |