| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 引言 | 第8-10页 |
| 2 已有的工作 | 第10-12页 |
| 3 基础知识介绍 | 第12-17页 |
| ·描述逻辑 ALCN 的语法及语义 | 第12-13页 |
| ·描述逻辑的推理 | 第13-17页 |
| 4 模态描述逻辑 | 第17-23页 |
| ·模态描述逻辑的语法 | 第17-18页 |
| ·模态描述逻辑的语义 | 第18-23页 |
| 5 循环 ALCN-Tbox具有模型的条件 | 第23-34页 |
| ·循环的 ALCN | 第23-25页 |
| ·主要结论 | 第25-34页 |
| 6 模态描述逻辑模型的构造 | 第34-41页 |
| ·模型的不交并 | 第34-36页 |
| ·生成子模型 | 第36-39页 |
| ·模型之间的互模拟 | 第39-41页 |
| 7 总结 | 第41-42页 |
| 参考文献 | 第42-45页 |
| 攻读硕士学位期间所发表的论文 | 第45-46页 |
| 致谢 | 第46-47页 |