| 摘要 | 第3-5页 |
| Abstract | 第5-6页 |
| 第1章 绪论 | 第8-14页 |
| 1.1 论文研究的背景和意义 | 第8-10页 |
| 1.2 国内外的研究状况 | 第10-11页 |
| 1.3 对成果进行分析,针对分析提出的新问题 | 第11-13页 |
| 1.4 论文的组织结构 | 第13-14页 |
| 第2章 εLQ系统循环定义术语集 | 第14-17页 |
| 2.1 εLQ系统的循环术语集概念描述的语法 | 第14页 |
| 2.2 εLQ系统的循环术语集概念描述的语义 | 第14-15页 |
| 2.3 εLQ系统的循环术语集 | 第15-16页 |
| 2.4 εLQ系统的循环术语集存在的模型(可满足性) | 第16-17页 |
| 第3章 描述图 | 第17-22页 |
| 3.1 TBox正规化方法的介绍 | 第17-18页 |
| 3.2 模拟图 | 第18-20页 |
| 3.2.1 语法描述图 | 第18-19页 |
| 3.2.2 语义描述图 | 第19-20页 |
| 3.3 语义图与语法图之间的模拟关系 | 第20-22页 |
| 第4章 匹配方法的引入 | 第22-42页 |
| 4.1 路径匹配方法 | 第22-42页 |
| 4.1.1 一个被定义概念的匹配 | 第22-39页 |
| 4.1.2 两个被定义概念的匹配 | 第39-42页 |
| 第5章 总结与展望 | 第42-44页 |
| 5.1 论文的总结 | 第42页 |
| 5.2 论文的展望 | 第42-44页 |
| 参考文献 | 第44-46页 |
| 致谢 | 第46-47页 |