| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景与选题意义 | 第7-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·国外研究现状 | 第9页 |
| ·国内研究现状 | 第9-10页 |
| ·本文的整体框架 | 第10-11页 |
| 第二章 预备知识 | 第11-15页 |
| ·描述逻辑语言簇 | 第11-12页 |
| ·描述逻辑FL_0的语法 | 第12-13页 |
| ·描述逻辑FL_0的语义 | 第13-15页 |
| 第三章 FL_0的Tbox的形式化 | 第15-20页 |
| ·FL_0的TBox T的性质 | 第15-16页 |
| ·FL_0的概念形式标准化 | 第16-17页 |
| ·FL_0的Tbox推理机制 | 第17-19页 |
| ·FL_0系统的完全性 | 第19-20页 |
| 第四章 FL_0的保守扩充 | 第20-34页 |
| ·FL_0保守扩充定义 | 第20页 |
| ·Tbox T的语义性质 | 第20-23页 |
| ·FL_0系统的基本性质 | 第23-26页 |
| ·形式模型M构造方法 | 第26-28页 |
| ·FL_0非保守扩充算法 | 第28-34页 |
| 第五章 总结与展望 | 第34-35页 |
| ·工作总结 | 第34页 |
| ·工作展望 | 第34-35页 |
| 参考文献 | 第35-38页 |
| 硕士期间发表论文 | 第38-39页 |
| 致谢 | 第39-40页 |