| 致谢 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-16页 |
| 第一章 绪论 | 第16-26页 |
| ·语义Web | 第16-17页 |
| ·本体的不一致 | 第17-18页 |
| ·高表达能力描述逻辑与易处理描述逻辑 | 第18-20页 |
| ·处理本体中的不一致 | 第20-22页 |
| ·本文的主要工作 | 第22-24页 |
| ·本文的组织结构 | 第24-26页 |
| 第二章 预备知识 | 第26-42页 |
| ·OWL与描述逻辑 | 第26-29页 |
| ·DL-Lite | 第29-37页 |
| ·DL-Lite_(core),DL-Lite_F和DL-Lite_R | 第29-32页 |
| ·DL-Lite中的推理技术 | 第32-33页 |
| ·DL-Lite的查询 | 第33-37页 |
| ·DL-Lite本体的超一致语义 | 第37-42页 |
| ·DL-Lite的三值语义 | 第37-40页 |
| ·DL-Lite的四值语义 | 第40-42页 |
| 第三章 诊断DL-Lite本体的不一致 | 第42-58页 |
| ·引言 | 第42页 |
| ·相关工作 | 第42-43页 |
| ·基本概念 | 第43-44页 |
| ·计算DL-Lite中不可满足概念或角色的MUPS算法All_MUPS_Alg | 第44-52页 |
| ·算法思想 | 第44-46页 |
| ·算法描述 | 第46-47页 |
| ·运行实例 | 第47-49页 |
| ·正确性证明 | 第49-52页 |
| ·实验结果与分析 | 第52-56页 |
| ·实验数据 | 第52-53页 |
| ·实验结果 | 第53-56页 |
| ·MUPS用于修复不一致本体 | 第56页 |
| ·本章小结 | 第56-58页 |
| 第四章 DL-Lite本体的超一致查询问答 | 第58-74页 |
| ·引言 | 第58页 |
| ·相关工作 | 第58-59页 |
| ·三值语义规范解释3-can(K) | 第59-65页 |
| ·超一致查询问答的算法Answer(Q,K) | 第65-70页 |
| ·3-can(K)的属性 | 第65-68页 |
| ·三值语义下的查询问答 | 第68-70页 |
| ·比较与评估 | 第70-73页 |
| ·比较 | 第70-72页 |
| ·评估 | 第72-73页 |
| ·本章小结 | 第73-74页 |
| 第五章 DL-Lite本体的不一致度量及其计算 | 第74-104页 |
| ·引言 | 第74-75页 |
| ·相关工作 | 第75-76页 |
| ·DL-Lite本体不一致度量 | 第76-93页 |
| ·三值语义与有限模型属性 | 第77-79页 |
| ·三值最优模型 | 第79-81页 |
| ·DL-Lite本体不一致度量——预备性质 | 第81-90页 |
| ·不一致度的定义及性质 | 第90-93页 |
| ·DL-Lite本体K的特殊公理集合Chase-cln(K) | 第93-97页 |
| ·计算三值最优模型I_(cln) | 第97-101页 |
| ·算法 | 第97-98页 |
| ·运行实例 | 第98-99页 |
| ·正确性证明 | 第99-100页 |
| ·复杂度分析 | 第100-101页 |
| ·基于Chase-cln(K)直接计算DL-Lite本体的不一致度 | 第101-102页 |
| ·不一致度的应用 | 第102-103页 |
| ·本章小结 | 第103-104页 |
| 第六章 DL-Lite中原子断言的不一致度及求解算法 | 第104-114页 |
| ·引言 | 第104-105页 |
| ·DL-Lite中原子断言的不一致度 | 第105-107页 |
| ·计算原子断言的不一致度 | 第107-110页 |
| ·算法ID(t,O) | 第107-109页 |
| ·运行实例 | 第109页 |
| ·复杂度分析 | 第109-110页 |
| ·原子断言的不一致度应用 | 第110-112页 |
| ·求最大一致子本体 | 第110-111页 |
| ·修复不一致本体 | 第111页 |
| ·基于不一致本体的推理 | 第111-112页 |
| ·本章小结 | 第112-114页 |
| 第七章 总结和展望 | 第114-118页 |
| ·工作总结 | 第114-115页 |
| ·工作展望 | 第115-118页 |
| 附录A 中英文术语对照表 | 第118-120页 |
| 参考文献 | 第120-132页 |
| 攻读博士期间发表和已录用的学术论文 | 第132-136页 |
| 学位论文数据集 | 第136页 |
