| 提要 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-14页 |
| 第1章 绪论 | 第14-24页 |
| ·引言 | 第14-16页 |
| ·语义 Web 数据的验证 | 第14-15页 |
| ·本体中完整性约束 | 第15-16页 |
| ·研究现状 | 第16-20页 |
| ·完整性约束的建模 | 第17-19页 |
| ·大规模数据推理优化 | 第19-20页 |
| ·主要工作与文章结构 | 第20-24页 |
| 第2章 基本知识 | 第24-36页 |
| ·描述逻辑知识库 | 第24-26页 |
| ·标准推理及算法 | 第26-31页 |
| ·标准推理问题 | 第26-28页 |
| ·Tableau 算法 | 第28-31页 |
| ·网络本体语言 OWL | 第31-36页 |
| 第3章 基于基限定的完整性约束验证 | 第36-50页 |
| ·描述逻辑知识库中的完整性约束 | 第36-37页 |
| ·基于基限定的完整性约束建模 | 第37-41页 |
| ·完整性约束公理的语义 | 第38-39页 |
| ·完整性约束的基限定语义 | 第39-41页 |
| ·基限定知识库的 GC 一致性验证 | 第41-44页 |
| ·基于基限定的完整性约束验证算法 | 第44-47页 |
| ·算法分析 | 第47-49页 |
| ·实例评估 | 第47-48页 |
| ·与现有验证算法比较分析 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第4章 描述逻辑知识库中完整性约束的普适性验证 | 第50-66页 |
| ·DL SROIQ 中完整性约束 | 第50-51页 |
| ·完整性约束的普适性语义 | 第51-52页 |
| ·基于逻辑蕴含的完整性约束可满足性验证 | 第52-58页 |
| ·完整性约束验证到逻辑蕴涵的转换 | 第53-56页 |
| ·断言型约束公理的可满足性验证算法 | 第56-58页 |
| ·完整性约束的可满足性普适性验证 | 第58-63页 |
| ·术语型约束公理到断言集合的转换 | 第58-61页 |
| ·完整性约束公理的可满足性验证算法 | 第61-63页 |
| ·算法分析 | 第63-65页 |
| ·实例评估 | 第63页 |
| ·与现有验证方法比较 | 第63-65页 |
| ·本章小结 | 第65-66页 |
| 第5章 基于重构的 DL-LITE 知识库中完整性约束验证 | 第66-84页 |
| ·轻量级完整性约束知识库 | 第66-68页 |
| ·从完整性约束验证到查询回答 | 第68-72页 |
| ·从完整性约束公理到合取查询的转换 | 第68-70页 |
| ·完整性约束验证到合取查询回答 | 第70-72页 |
| ·基于重构的完整性约束验证 | 第72-80页 |
| ·重构预处理 | 第72-74页 |
| ·约束公理与合取查询的重构 | 第74-76页 |
| ·利用重构的验证算法与可行性证明 | 第76-80页 |
| ·实验与分析 | 第80-83页 |
| ·实例评测 | 第80-81页 |
| ·实验评估 | 第81-83页 |
| ·本章小结 | 第83-84页 |
| 第6章 基于模块化的本体中完整性约束验证 | 第84-96页 |
| ·本体知识库中的模块化 | 第84-85页 |
| ·基于语法局部化的术语集模块抽取方法 | 第85-88页 |
| ·术语集模块化预处理 | 第86-87页 |
| ·术语集模块化抽取 | 第87-88页 |
| ·利用结构相关性的断言集模块化抽取方法 | 第88-92页 |
| ·结构相关断言集模块抽取 | 第88-90页 |
| ·断言集模块抽取算法 | 第90-92页 |
| ·实验与分析 | 第92-94页 |
| ·本章小结 | 第94-96页 |
| 第7章 总结与展望 | 第96-98页 |
| ·总结 | 第96-97页 |
| ·未来工作 | 第97-98页 |
| 参考文献 | 第98-106页 |
| 作者简介及在学期间所取得的科研成果 | 第106-108页 |
| 致谢 | 第108页 |