本体知识库的封闭世界假设研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 绪论 | 第10-13页 |
| ·知识描述 | 第10页 |
| ·知识库 | 第10-11页 |
| ·描述逻辑简介 | 第11页 |
| ·研究目的 | 第11-12页 |
| ·本文结构 | 第12-13页 |
| 2 描述逻辑与本体知识库 | 第13-23页 |
| ·描述逻辑 | 第13-20页 |
| ·描述逻辑的理论发展 | 第13-14页 |
| ·描述逻辑的基本体系 | 第14-15页 |
| ·描述语言 | 第15-16页 |
| ·TBox介绍 | 第16-17页 |
| ·ABox介绍 | 第17-20页 |
| ·本体模型与本体知识库 | 第20-23页 |
| ·本体 | 第20-21页 |
| ·本体模型概念 | 第21页 |
| ·本体模型的意义和本体知识库 | 第21-23页 |
| 3 封闭世界假设方法 | 第23-31页 |
| ·产生背景 | 第23-24页 |
| ·单调谓词逻辑与归结推理 | 第23页 |
| ·非单调逻辑与两大实现原则 | 第23-24页 |
| ·封闭世界假设 | 第24-29页 |
| ·方法阐述 | 第24-25页 |
| ·特点 | 第25页 |
| ·使用范例 | 第25-27页 |
| ·一致性讨论 | 第27-28页 |
| ·特定谓词增广 | 第28-29页 |
| ·改进的封闭世界假设 | 第29-31页 |
| ·理论发展 | 第29-30页 |
| ·GCWA简述 | 第30-31页 |
| 4 本体知识库环境下的封闭世界假设 | 第31-38页 |
| ·范围约定 | 第31页 |
| ·代换定义 | 第31-34页 |
| ·增广一致性约束条件讨论 | 第34-36页 |
| ·增广一致性约束条件的证明 | 第36-37页 |
| ·特别说明 | 第37-38页 |
| 5 本体知识库的封闭世界假设增广方法 | 第38-56页 |
| ·参考范例 | 第38页 |
| ·两步法求解增广集 | 第38-49页 |
| ·算法描述 | 第39页 |
| ·实例求解 | 第39-49页 |
| ·一步法求解增广集 | 第49-55页 |
| ·算法描述 | 第49-50页 |
| ·实例求解 | 第50-55页 |
| ·方法比较 | 第55-56页 |
| 6 应用举例 | 第56-59页 |
| ·问题描述 | 第56-57页 |
| ·问题求解 | 第57-59页 |
| 7 结论 | 第59-60页 |
| 参考文献 | 第60-61页 |
| 作者简历 | 第61-63页 |
| 学位论文数据集 | 第63页 |
