| 创新点摘要 | 第1-6页 |
| 摘要 | 第6-8页 |
| ABSTRACT | 第8-13页 |
| 第1章 引言 | 第13-39页 |
| ·研究背景和意义 | 第13-15页 |
| ·国内外研究现状 | 第15-26页 |
| ·本体演化及其过程 | 第15-21页 |
| ·开放环境下本体演化研究的现状分析 | 第21-26页 |
| ·本体演化基本理论 | 第26-35页 |
| ·描述逻辑与本体 | 第26-28页 |
| ·OWL语言的逻辑基础 | 第28-31页 |
| ·本体推理任务 | 第31-34页 |
| ·开放环境下的本体演化 | 第34-35页 |
| ·当前存在问题 | 第35-36页 |
| ·研究内容 | 第36-37页 |
| ·论文组织结构 | 第37-39页 |
| 第2章 基于Alloy的本体推理 | 第39-55页 |
| ·引言 | 第39-40页 |
| ·Alloy概述 | 第40页 |
| ·OWL到Alloy转换过程 | 第40-47页 |
| ·解析过程 | 第41-43页 |
| ·生成Alloy模型 | 第43-46页 |
| ·实例分析 | 第46-47页 |
| ·Alloy Analyzer支持的OWL本体推理 | 第47-52页 |
| ·基于Alloy的TBox推理 | 第47-51页 |
| ·基于Alloy的ABox推理 | 第51-52页 |
| ·实验数据对比 | 第52-54页 |
| ·本章小结 | 第54-55页 |
| 第3章 改进的基于SAT的本体推理 | 第55-73页 |
| ·引言 | 第55页 |
| ·基于SAT的本体一致性检测框架 | 第55-56页 |
| ·中间语言定义 | 第56-61页 |
| ·本体可满足性问题 | 第56-58页 |
| ·中间语言定义 | 第58-60页 |
| ·抽象语法 | 第60页 |
| ·语义 | 第60-61页 |
| ·OWL语言与中间语言之间的转换规则 | 第61-64页 |
| ·实例分析 | 第64-66页 |
| ·实验对比分析 | 第66-69页 |
| ·极小不可满足子句集MU提取 | 第69-72页 |
| ·本章小结 | 第72-73页 |
| 第4章 本体演化变更序列的冲突检测 | 第73-89页 |
| ·引言 | 第73页 |
| ·基本概念 | 第73-79页 |
| ·冲突定义及检测 | 第79-87页 |
| ·内部冲突 | 第79-80页 |
| ·直接冲突 | 第80-82页 |
| ·不一致冲突 | 第82-87页 |
| ·实验分析 | 第87-88页 |
| ·本章小结 | 第88-89页 |
| 第5章 本体演化变更序列的冲突诊断 | 第89-101页 |
| ·引言 | 第89页 |
| ·冲突变史序列矩阵模型 | 第89-93页 |
| ·求解最小碰集序列 | 第93-96页 |
| ·最小碰集概率排序 | 第96-97页 |
| ·实例分析 | 第97-100页 |
| ·本章小结 | 第100-101页 |
| 第6章 开放环境下本体演化原型系统的设计与实现 | 第101-109页 |
| ·开放环境下本体演化原型系统架构 | 第101-103页 |
| ·非标准推理模块 | 第103-105页 |
| ·冲突检测模块 | 第105-106页 |
| ·语义冲突诊断模块 | 第106-108页 |
| ·本章小结 | 第108-109页 |
| 第7章 结论 | 第109-111页 |
| ·结论 | 第109-110页 |
| ·下一步工作 | 第110-111页 |
| 参考文献 | 第111-125页 |
| 攻读学位期间公开发表论文 | 第125-126页 |
| 攻读学位期间参与的主要科研项目、专利 | 第126-127页 |
| 致谢 | 第127-129页 |
| 作者简介 | 第129页 |