| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第1章 绪论 | 第12-29页 |
| ·课题背景 | 第12-16页 |
| ·问题的提出 | 第13-14页 |
| ·研究内容 | 第14页 |
| ·意义 | 第14-16页 |
| ·描述逻辑简介 | 第16-21页 |
| ·发展过程 | 第16-17页 |
| ·与其它形式化方法的关系 | 第17-20页 |
| ·研究领域 | 第20-21页 |
| ·描述逻辑形式化方法 | 第21-24页 |
| ·ALC语言 | 第21-22页 |
| ·知识库 | 第22-24页 |
| ·描述逻辑系统 | 第24-25页 |
| ·描述逻辑的扩展 | 第25-26页 |
| ·模糊描述逻辑 | 第25页 |
| ·时态描述逻辑 | 第25-26页 |
| ·动态描述逻辑 | 第26页 |
| ·描述逻辑的应用 | 第26-28页 |
| ·在语义WEB中的应用 | 第26-27页 |
| ·在配置中的应用 | 第27-28页 |
| ·在自然语言处理中的应用 | 第28页 |
| ·在数字图书馆和基于WEB的信息系统中的应用 | 第28页 |
| ·在数据库中的应用 | 第28页 |
| ·本章小结 | 第28-29页 |
| 第2章 描述逻辑的推理 | 第29-44页 |
| ·描述逻辑的主要推理问题 | 第29-34页 |
| ·概念的推理任务 | 第29-31页 |
| ·消除TBox | 第31-32页 |
| ·含有包含公理的TBox | 第32页 |
| ·Abox的推理任务 | 第32-34页 |
| ·结构包含算法 | 第34-36页 |
| ·Tableau算法 | 第36-43页 |
| ·算法简介 | 第36-37页 |
| ·面向ALCN的Tableau算法 | 第37-40页 |
| ·复杂性问题 | 第40页 |
| ·扩展到:Abox一致性问题 | 第40-41页 |
| ·扩展到一般包含公理 | 第41-43页 |
| ·本章小结 | 第43-44页 |
| 第3章 去(?)化的CDNF判定ALCN-可满足性 | 第44-61页 |
| ·引言 | 第44-45页 |
| ·ALCN的语法与语义 | 第45-46页 |
| ·ALCN-CDNF概念可满足性算法 | 第46-53页 |
| ·相关基本定义 | 第47-48页 |
| ·ALCN-CDNF算法过程 | 第48-51页 |
| ·ALCN-CDNF的树结构及语义解释 | 第51-53页 |
| ·ALCN-CDNF算法的可靠性、完备性和终止性 | 第53-56页 |
| ·复杂性问题讨论 | 第56-58页 |
| ·与Tableau的性能比较 | 第58-60页 |
| ·本章小结 | 第60-61页 |
| 第4章 子句重用的CDNF判定ALCNI_(R+)-可满足性 | 第61-82页 |
| ·引言 | 第61页 |
| ·ALCNI_(R+)的语法与语义 | 第61-63页 |
| ·面向ALCNI_(R+)的CDNF算法 | 第63-75页 |
| ·相关基本定义 | 第64-66页 |
| ·ALCNI_(R+)-CDNF算法过程 | 第66-71页 |
| ·ALCNI_(R+)-CDNF的树结构及语义解释 | 第71-75页 |
| ·ALCNI_(R+)-CDNF算法的可靠性、完备性和终止性 | 第75-78页 |
| ·复杂性问题讨论 | 第78-79页 |
| ·与Tableau的性能比较 | 第79-81页 |
| ·本章小结 | 第81-82页 |
| 第5章 CDNF群判定SHOIN(D)-可满足性 | 第82-111页 |
| ·引言 | 第82-83页 |
| ·语义WEB与本体论 | 第83-85页 |
| ·SHOIN(D)的语法与语义 | 第85-90页 |
| ·具体数据类型(D) | 第86页 |
| ·命名个体(O) | 第86-87页 |
| ·语法与语义 | 第87-90页 |
| ·面向SHOIN(D)的CDNF算法 | 第90-103页 |
| ·相关基本定义 | 第90-94页 |
| ·SHOIN(D)-CDNF算法过程 | 第94-100页 |
| ·SHOIN(D)-CDNF群的森林结构及语义解释 | 第100-103页 |
| ·SHOIN(D)-CDNF算法的可靠性、完备性和终止性 | 第103-107页 |
| ·扩展到一般包含公理 | 第107-108页 |
| ·复杂性问题讨论 | 第108页 |
| ·与Tableau的性能比较 | 第108-110页 |
| ·本章小结 | 第110-111页 |
| 第6章 应用分析 | 第111-114页 |
| ·实例分析 | 第111-113页 |
| ·应用前景 | 第113-114页 |
| 第7章 结论与展望 | 第114-117页 |
| ·结论 | 第114-115页 |
| ·展望 | 第115-117页 |
| 参考文献 | 第117-124页 |
| 攻读博士学位期间主要的研究成果 | 第124-125页 |
| 致谢 | 第125页 |
