| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 第一章 引言 | 第7-9页 |
| ·课题研究背景 | 第7-8页 |
| ·文章结构 | 第8-9页 |
| 第二章 知识编译 | 第9-12页 |
| ·知识编译 | 第9页 |
| ·知识编译技术的处理对象 | 第9-12页 |
| 第三章 描述逻辑概述 | 第12-19页 |
| ·基本的描述语言 | 第12-14页 |
| ·ALC 语法 | 第13页 |
| ·ALC 语义 | 第13-14页 |
| ·描述逻辑应用领域 | 第14-15页 |
| ·描述逻辑体系结构 | 第15-16页 |
| ·描述逻辑推理的研究 | 第16-17页 |
| ·概念的推理任务 | 第16-17页 |
| ·TBOX | 第17页 |
| ·ABOX | 第17页 |
| ·相关推理技术简介 | 第17-19页 |
| ·析取式（DISJUNCTIVE FORM） | 第18页 |
| ·LINKLESS NORMAL FORM | 第18-19页 |
| 第四章 描述逻辑 ALC 推理问题编码与实现 | 第19-30页 |
| ·概念蕴含 TRIE（CONCEPT IMPLICATE TRIE） | 第19-20页 |
| ·约减概念蕴含TRIE（REDUCE CONCEPT IMPLICATE TRIE） | 第20-23页 |
| ·RCI-TRIE 算法 | 第23-25页 |
| ·TRI 操作 | 第23-24页 |
| ·RIT 操作 | 第24-25页 |
| ·推理算法 | 第25-28页 |
| ·算法复杂性 | 第28页 |
| ·实验结果及分析 | 第28-30页 |
| 第五章 结束语 | 第30-31页 |
| 参考文献 | 第31-33页 |
| 致谢 | 第33-34页 |
| 在学期间公开发表论文情况 | 第34页 |