| 摘要 | 第1-6页 |
| ABSTRACT | 第6-13页 |
| 第一章 绪论 | 第13-30页 |
| ·研究背景和意义 | 第13-16页 |
| ·相关基础知识 | 第16-22页 |
| ·描述逻辑 | 第16-17页 |
| ·描述逻辑标准推理和非标准推理 | 第17-21页 |
| ·标准推理 | 第18页 |
| ·非标准推理 | 第18-20页 |
| ·非标准推理技术 | 第20-21页 |
| ·描述逻辑本体构建 | 第21-22页 |
| ·国内外研究现状及分析 | 第22-27页 |
| ·描述逻辑本体构建:非标准推理 | 第22-26页 |
| ·LCS推理 | 第22-23页 |
| ·MSC推理 | 第23-24页 |
| ·循环定义的标准推理和非标准推理 | 第24-26页 |
| ·描述逻辑本体的完备性 | 第26页 |
| ·描述逻辑本体的无冗余性 | 第26-27页 |
| ·论文主要研究内容 | 第27-28页 |
| ·论文结构安排 | 第28-29页 |
| 本章小结 | 第29-30页 |
| 第二章 描述逻辑系统εL~((n))的MSC推理 | 第30-46页 |
| ·引言 | 第30-31页 |
| ·描述逻辑εL~((n)) | 第31-33页 |
| ·εL~((n))描述树与描述图 | 第33-35页 |
| ·εL~((n))实例推理 | 第35-40页 |
| ·εL~((n))MSC推理 | 第40-45页 |
| ·结论和进一步工作 | 第45-46页 |
| 第三章 带传递关系和存在量词的描述逻辑MSC推理 | 第46-57页 |
| ·引言 | 第46-47页 |
| ·描述逻辑εL~+ | 第47-48页 |
| ·εL~+描述树与描述图 | 第48-50页 |
| ·εL~+包含推理与实例推理 | 第50-54页 |
| ·εL~+的MSC推理 | 第54-56页 |
| ·结论和进一步工作 | 第56-57页 |
| 第四章 εL混合循环术语集的LCS和MSC推理 | 第57-74页 |
| ·引言 | 第57-58页 |
| ·εL循环术语集 | 第58-60页 |
| ·εL混合循环知识库 | 第60-66页 |
| ·εL混合循环知识库语法和语义 | 第60-64页 |
| ·知识库的正规化与描述图 | 第64-66页 |
| ·描述语义下εL混合循环术语集的LCS和MSC推理 | 第66-73页 |
| ·描述语义下的LCS推理 | 第66-69页 |
| ·描述语义下的MSC推理 | 第69-73页 |
| ·结论和进一步工作 | 第73-74页 |
| 第五章 运用属性探索构建完备描述逻辑本体 | 第74-92页 |
| ·引言 | 第74-75页 |
| ·相关知识 | 第75-78页 |
| ·形式概念分析 | 第75-76页 |
| ·属性探索 | 第76-77页 |
| ·部分背景 | 第77-78页 |
| ·描述逻辑本体的完备性 | 第78-80页 |
| ·运用属性探索构建完备描述逻辑本体 | 第80-89页 |
| ·本体完备性构建的实例 | 第89-91页 |
| ·结论和进一步工作 | 第91-92页 |
| 第六章 基于最大不动点模型的描述逻辑系统FLε的有穷基 | 第92-103页 |
| ·引言 | 第92-93页 |
| ·描述逻辑的有穷基 | 第93-95页 |
| ·描述逻辑系统FLε | 第95-99页 |
| ·描述逻辑系统FLε的语法和语义 | 第95-96页 |
| ·描述逻辑系统FLε循环定义的语义 | 第96页 |
| ·描述逻辑系统FLε的循环术语集存在模型 | 第96-99页 |
| ·描述逻辑系统FLε的有穷基 | 第99-102页 |
| ·结论和进一步工作 | 第102-103页 |
| 第七章 总结 | 第103-106页 |
| ·工作总结 | 第103-104页 |
| ·研究展望 | 第104-106页 |
| 参考文献 | 第106-116页 |
| 致谢 | 第116-117页 |
| 攻读博士学位期间完成的学术论文与科研工作 | 第117-118页 |