| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 前言 | 第8-10页 |
| 第2章 FLε概念描述语法和语义 | 第10-15页 |
| ·FLε概念描述语法和语义 | 第10页 |
| ·FLε循环术语集存在模型 | 第10-15页 |
| 第3章 描述图 | 第15-20页 |
| ·正规FLε-TBox | 第15-16页 |
| ·FLε-描述图 | 第16-17页 |
| ·模拟关系 | 第17-19页 |
| ·FLε-描述树 | 第19-20页 |
| 第4章 FLε循环术语集的包含关系推理算法及完全性证明 | 第20-31页 |
| ·FLε循环术语集的包含关系推理算法 | 第20-23页 |
| ·FLε循环术语集的包含关系推理算法的完全性 | 第23-31页 |
| 第5章 结束语 | 第31-32页 |
| 参考文献 | 第32-33页 |