基于可拓集的描述逻辑研究
| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-22页 |
| ·课题的研究意义 | 第11-12页 |
| ·描述逻辑的研究现状 | 第12-19页 |
| ·本文的工作 | 第19-21页 |
| ·论文的组织结构 | 第21-22页 |
| 第2章 描述逻辑与可拓学的相关理论基础 | 第22-34页 |
| ·描述逻辑基础 | 第22-31页 |
| ·描述逻辑的语法和语义 | 第23-27页 |
| ·描述逻辑的相关推理问题 | 第27-29页 |
| ·模糊描述逻辑FALC | 第29-31页 |
| ·可拓学相关基础 | 第31-33页 |
| ·本章小结 | 第33-34页 |
| 第3章 基于静态可拓集合的描述逻辑 | 第34-57页 |
| ·相关研究工作 | 第34-36页 |
| ·静态可拓集合与模糊集合比较 | 第36-38页 |
| ·描述逻辑ALC_(S-ES) | 第38-56页 |
| ·描述逻辑ALC_(S-ES)的语法 | 第38-39页 |
| ·描述逻辑ALC_(S-ES)的语义 | 第39-42页 |
| ·三种描述逻辑的比较 | 第42-43页 |
| ·描述逻辑ALC_(S-ES)的基本推理问题 | 第43-56页 |
| ·本章小结 | 第56-57页 |
| 第4章 基于动态可拓集合的描述逻辑 | 第57-83页 |
| ·相关研究工作 | 第57-59页 |
| ·动态可拓集合 | 第59-62页 |
| ·动态可拓集合的定义 | 第59-60页 |
| ·统一集 | 第60-62页 |
| ·描述逻辑ALC_(D-ES) | 第62-81页 |
| ·描述逻辑ALC_(D-ES)的语法 | 第62-66页 |
| ·描述逻辑ALC_(D-ES)的语义 | 第66-74页 |
| ·三种描述逻辑比较 | 第74-76页 |
| ·描述逻辑ALC_(D-ES)的基本推理问题 | 第76-81页 |
| ·本章小结 | 第81-83页 |
| 第5章 带限定性数目约束的可拓描述逻辑 | 第83-98页 |
| ·相关研究工作 | 第83-84页 |
| ·描述逻辑ALCQ和FALCQ | 第84-86页 |
| ·描述逻辑ALCQ_(D-ES) | 第86-97页 |
| ·描述逻辑ALCQ_(D-ES)的语法 | 第86-87页 |
| ·描述逻辑ALCQ_(D-ES)的语义 | 第87-89页 |
| ·描述逻辑ALCQ_(D-ES)的基本推理问题 | 第89-97页 |
| ·本章小结 | 第97-98页 |
| 结论 | 第98-100页 |
| 参考文献 | 第100-111页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第111-112页 |
| 致谢 | 第112页 |
