| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 第1章 绪论 | 第11-18页 |
| 1.1 概述 | 第11-15页 |
| 1.1.1 语义 Web 的背景及应用 | 第11-12页 |
| 1.1.2 开放世界推理 vs 封闭世界推理 | 第12-13页 |
| 1.1.3 本体与规则的结合 | 第13-14页 |
| 1.1.4 非经典信息的处理 | 第14-15页 |
| 1.2 创新点及主要内容 | 第15-16页 |
| 1.3 记号及基本概念、性质 | 第16-18页 |
| 第2章 本体和规则的结合 | 第18-28页 |
| 2.1 本体 | 第18页 |
| 2.2 描述逻辑 ALC | 第18-21页 |
| 2.3 规则及逻辑程序设计 | 第21-24页 |
| 2.3.1 逻辑程序设计的语构 | 第22-23页 |
| 2.3.2 逻辑程序设计的语义 | 第23-24页 |
| 2.4 混合 MKNF 知识库 | 第24-28页 |
| 2.4.1 MKNF 逻辑 | 第24-25页 |
| 2.4.2 混合 MKNF 知识库 | 第25-28页 |
| 第3章 混合 MKNF 知识库上的超协调推理 | 第28-52页 |
| 3.1 超协调描述逻辑ALC4 | 第28-31页 |
| 3.2 超协调MKNF知识库 | 第31-36页 |
| 3.3 Para-MKNF知识库到混合 MKNF知识库上的规约 | 第36-40页 |
| 3.4 超协调 MKNF 模型的不动点刻画 | 第40-50页 |
| 3.4.1 正规则 | 第42-45页 |
| 3.4.2 一般规则 | 第45-47页 |
| 3.4.3 层次规则 | 第47-50页 |
| 3.5 相关工作 | 第50-52页 |
| 第4章 混合 MKNF 知识库中的不连贯问题以及不信任问题 | 第52-59页 |
| 4.1 混合 MKNF 知识库中的超连贯语义 | 第52-56页 |
| 4.2 怀疑 MKNF 模型 | 第56-59页 |
| 第5章 混合 MKNF 知识库的模糊推理 | 第59-75页 |
| 5.1 模糊描述逻辑 | 第59-64页 |
| 5.2 模糊混合 MKNF 知识库 | 第64-67页 |
| 5.3 模糊 MKNF 模型的刻画 | 第67-73页 |
| 5.3.1 正逻辑程序下的不动点表示 | 第69-71页 |
| 5.3.2 层次逻辑程序下的不动点表示 | 第71-73页 |
| 5.4 易处理的结果 | 第73-75页 |
| 结论 | 第75-77页 |
| 参考文献 | 第77-84页 |
| 致谢 | 第84-85页 |
| 附录 A | 第85页 |