| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 引言 | 第6-9页 |
| 一、描述逻辑ALCQ | 第9-14页 |
| （一） 描述逻辑 ALCQ的语法 | 第9-11页 |
| （二） 描述逻辑ALCQ 的语义 | 第11-14页 |
| 二、分级粗集理论 | 第14-17页 |
| （一） 粗集理论的基本概念 | 第14页 |
| （二） 分级粗集理论的基本概念 | 第14-17页 |
| 三、粗描述逻辑RALCQ | 第17-22页 |
| （一） 粗描述逻辑RALCQ 的语法 | 第17-18页 |
| （二） 粗描述逻辑RALCQ 的语义 | 第18-22页 |
| 四、形式概念分析 | 第22-26页 |
| （一） 形式背景及形式概念格理论简介 | 第22-24页 |
| （二） 蕴含式 | 第24-26页 |
| 五、在粗描述逻辑RALCQ中的构造算子间的蕴含关系 | 第26-32页 |
| 总结 | 第32-33页 |
| 参考文献 | 第33-36页 |
| 致谢 | 第36-37页 |