| 摘要 | 第1-3页 |
| Abstract | 第3-6页 |
| 第一章 绪论 | 第6-12页 |
| ·国内外研究动态 | 第6-9页 |
| ·研究背景和意义 | 第9-10页 |
| ·研究的内容和创新点 | 第10-11页 |
| ·论文的组织结构 | 第11-12页 |
| 第二章 本体理论概述 | 第12-23页 |
| ·本体的概念 | 第12-13页 |
| ·本体的分类 | 第13-14页 |
| ·本体的应用 | 第14-16页 |
| ·本体表示语言OWL | 第16-23页 |
| 第三章 文档中图像的本体构建 | 第23-29页 |
| ·图像本体的类结构 | 第23-25页 |
| ·图像本体的表示 | 第25-28页 |
| ·图像本体中的一个实例 | 第28-29页 |
| 第四章 基于OWL的数学公式本体的构建 | 第29-38页 |
| ·数学公式标记语言(MathML) | 第29-31页 |
| ·数学公式本体的构建 | 第31-35页 |
| ·数学公式实例描述 | 第35-38页 |
| 第五章 基于本体的推理算法 | 第38-45页 |
| ·本体推理的基本原理 | 第38-39页 |
| ·基于语义推理方法 | 第39-40页 |
| ·推理算法 | 第40-43页 |
| ·推理算法在基于OWL表示的本体知识库检索中的应用 | 第43-45页 |
| 第六章 基于本体的检索实现 | 第45-51页 |
| ·基于本体的语义检索的系统框架 | 第45-46页 |
| ·基于本体的知识推理 | 第46-48页 |
| ·系统运行实例 | 第48-51页 |
| 第七章 结论与展望 | 第51-52页 |
| 参考文献 | 第52-56页 |
| 攻读学位期间的研究成果 | 第56-57页 |
| 致谢 | 第57-58页 |