几何过程本体的构建及其应用研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-15页 |
| ·研究背景及意义 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·主要研究内容 | 第12-13页 |
| ·论文组织结构 | 第13-15页 |
| 第二章 过程本体的研究综述 | 第15-29页 |
| ·语义Web的简介 | 第15-17页 |
| ·语义Web概述 | 第15页 |
| ·语义Web的架构 | 第15-17页 |
| ·本体的简介 | 第17-19页 |
| ·本体概述 | 第17-19页 |
| ·过程本体概述 | 第19页 |
| ·本体的描述语言 | 第19-23页 |
| ·资源描述框架RDF | 第20-21页 |
| ·RDF Schema语言 | 第21-22页 |
| ·网络本体语言OWL | 第22-23页 |
| ·描述逻辑与语义查询 | 第23-25页 |
| ·描述逻辑 | 第23-24页 |
| ·SPARQL查询 | 第24-25页 |
| ·本体构建 | 第25-27页 |
| ·本体构建的准则 | 第25页 |
| ·本体构建的过程 | 第25-27页 |
| ·相关技术与工具 | 第27-28页 |
| ·信息抽取技术 | 第27页 |
| ·涉及的相关工具 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 过程本体的构建研究 | 第29-52页 |
| ·几何证明的特征 | 第29-31页 |
| ·证明概述 | 第29页 |
| ·平面几何的证明过程 | 第29-30页 |
| ·证明过程中的信息 | 第30-31页 |
| ·过程本体的提出 | 第31-32页 |
| ·核心本体的构建 | 第32-35页 |
| ·OWL的构子 | 第32-33页 |
| ·建立类 | 第33页 |
| ·建立属性 | 第33-35页 |
| ·过程本体的构建流程 | 第35-36页 |
| ·抽象模型提取 | 第36-43页 |
| ·抽象模型的提取方法 | 第36-38页 |
| ·创建或更新抽象模型 | 第38-43页 |
| ·实例模型提取 | 第43-51页 |
| ·深入挖掘信息 | 第44-45页 |
| ·角的简写问题 | 第45页 |
| ·同构模型的处理 | 第45-48页 |
| ·创建或更新实例模型 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 第四章 过程本体的应用研究 | 第52-64页 |
| ·自动解题关键问题研究 | 第52-53页 |
| ·解题的顺序性 | 第52页 |
| ·自动解题的实现方法 | 第52-53页 |
| ·同角不同名的问题 | 第53页 |
| ·自动解题的算法分析与设计 | 第53-63页 |
| ·自动解题的流程 | 第53-55页 |
| ·处理无解情况 | 第55-57页 |
| ·查询子结论 | 第57-60页 |
| ·查找对应条件 | 第60-63页 |
| ·本章小结 | 第63-64页 |
| 第五章 实验结果及分析 | 第64-76页 |
| ·过程本体构建实验 | 第64-72页 |
| ·提取模型 | 第64-71页 |
| ·完善模型 | 第71-72页 |
| ·结果分析 | 第72页 |
| ·自动解题实验及分析 | 第72-75页 |
| ·本章小结 | 第75-76页 |
| 第六章 总结与展望 | 第76-78页 |
| ·总结 | 第76页 |
| ·展望 | 第76-78页 |
| 致谢 | 第78-79页 |
| 参考文献 | 第79-81页 |
| 攻硕期间取得的研究成果 | 第81页 |
