| 摘要 | 第1-13页 |
| Abstract | 第13-15页 |
| 第一章 绪论 | 第15-35页 |
| ·研究背景 | 第15-20页 |
| ·基于本体的集成数据访问 | 第16-17页 |
| ·问题的提出 | 第17-20页 |
| ·研究现状及发展趋势 | 第20-31页 |
| ·面向术语级语义的数据访问 | 第20-21页 |
| ·面向模式级语义的数据访问 | 第21-24页 |
| ·支持数据访问的描述逻辑子集与 DL 推理机 | 第24-26页 |
| ·关系数据库模式到本体的映射 | 第26-30页 |
| ·研究现状总结与分析 | 第30-31页 |
| ·研究思路 | 第31-33页 |
| ·本文的研究内容 | 第31-32页 |
| ·主要创新点 | 第32-33页 |
| ·论文的组织结构 | 第33-35页 |
| 第二章 面向语义正确性的集成数据访问方法 | 第35-64页 |
| ·理论基础与基本定义 | 第35-43页 |
| ·基本假设与研究条件 | 第35-38页 |
| ·面向语义正确性的集成数据访问基本思想 | 第38-39页 |
| ·集成数据访问相关的形式定义 | 第39-43页 |
| ·面向集成数据访问的分层 TBox 模型 | 第43-53页 |
| ·分层 TBox 模型的基本思想 | 第43-45页 |
| ·DL-LiteNOWL描述逻辑子集及其构造子 | 第45-51页 |
| ·基于DL-LiteNOWL描述逻辑进行 TBox 分层 | 第51-53页 |
| ·面向集成数据访问的动态 ABox 模型 | 第53-58页 |
| ·动态 ABox 模型的基本思想 | 第54-55页 |
| ·面向虚拟对象的数据访问处理 | 第55-57页 |
| ·LAV＋O-GAV 形式的语义映射 | 第57-58页 |
| ·面向语义正确性的集成数据访问框架及其实现 | 第58-62页 |
| ·SCIDA 系统及其架构 | 第58-60页 |
| ·SCIDA 方法的实现过程 | 第60-62页 |
| ·相关研究 | 第62页 |
| ·小结 | 第62-64页 |
| 第三章 支持集成数据访问的语义映射构造方法研究 | 第64-100页 |
| ·语义映射构造的理论基础及其流程 | 第64-68页 |
| ·LAV＋O-GAV 映射方式的基本原理 | 第64-66页 |
| ·基本的形式定义 | 第66-68页 |
| ·关系数据库模式蕴含的语义 | 第68-76页 |
| ·强实体集与弱实体集的语义 | 第70-72页 |
| ·二元联系集的语义 | 第72-74页 |
| ·多元联系集的语义 | 第74-75页 |
| ·多值属性与概化关系的语义 | 第75-76页 |
| ·基于概念连接图的 LAV 映射发现算法 | 第76-90页 |
| ·使用DL-LiteNOWL本体描述关系表的语义 | 第76-78页 |
| ·LAV 映射构造的基本流程 | 第78-80页 |
| ·实体树的构造 | 第80-82页 |
| ·基于概念连接图的映射发现 | 第82-86页 |
| ·算法分析与正确性证明 | 第86-87页 |
| ·实验验证 | 第87-90页 |
| ·O-GAV 映射的自动构造 | 第90-98页 |
| ·O-GAV 映射构造的原理 | 第91-93页 |
| ·O-GAV 映射构造算法 | 第93-94页 |
| ·虚拟对象信息的合并问题 | 第94-96页 |
| ·算法的正确性 | 第96-97页 |
| ·映射工作节省率评估 | 第97-98页 |
| ·相关研究 | 第98-99页 |
| ·本章小结 | 第99-100页 |
| 第四章 基于虚拟对象的语义查询处理方法研究 | 第100-128页 |
| ·基于虚拟对象的语义查询处理问题 | 第100-106页 |
| ·常规集成系统中的查询处理 | 第100-102页 |
| ·基于虚拟对象的语义查询及其流程 | 第102-103页 |
| ·SmartQuery 查询语言及语义查询的基本形式 | 第103-106页 |
| ·语义查询的扩展重写算法 | 第106-114页 |
| ·扩展重写的目的和作用 | 第106-108页 |
| ·扩展重写规则集 | 第108-109页 |
| ·SuperRef 扩展重写算法 | 第109-113页 |
| ·算法分析及其正确性 | 第113-114页 |
| ·基于动态 ABox 的查询应答与实例检验 | 第114-124页 |
| ·虚拟对象获取与动态 ABox 的构造 | 第114-119页 |
| ·基于伪模型的实例检测 | 第119-124页 |
| ·查询应答的语义正确性 | 第124页 |
| ·实验验证与评估 | 第124-127页 |
| ·查询扩展重写实验验证 | 第124-125页 |
| ·数据访问整体效能评估 | 第125-127页 |
| ·本章小结 | 第127-128页 |
| 第五章 本体演化条件下集成数据访问系统的维护方法研究 | 第128-146页 |
| ·本体演化条件下 SCIDA 系统的适应性维护框架 | 第128-132页 |
| ·六阶段维护框架 | 第128-131页 |
| ·基本定义 | 第131-132页 |
| ·LTOOE 本体演化方法 | 第132-136页 |
| ·适用于分层 TBox 的本体演化策略 | 第132-134页 |
| ·LTOOE 算法流程 | 第134-136页 |
| ·语义映射的失效检测方法 | 第136-141页 |
| ·语义映射的基本性质 | 第136-137页 |
| ·映射的合法性检测 | 第137-138页 |
| ·映射的有效性检测 | 第138-141页 |
| ·语义映射维护方法 | 第141-145页 |
| ·映射的可视化 | 第141-143页 |
| ·映射的增量式维护 | 第143-145页 |
| ·本章小结 | 第145-146页 |
| 第六章 结论与展望 | 第146-149页 |
| ·论文研究总结 | 第146-147页 |
| ·下一步工作 | 第147-149页 |
| 致谢 | 第149-150页 |
| 参考文献 | 第150-161页 |
| 作者在学期间取得的学术成果 | 第161-163页 |
| 附录 A 本文用到的示例关系数据库模式 | 第163-164页 |
| 附录 B 本文中用到的示例本体 Conference | 第164-165页 |
| 附录 C SmartQuery 语言及其语法定义 | 第165-167页 |
| 附录 D 使用 SmartQuery 语言改写后的基准测试查询集 | 第167-168页 |
| 附录 E LAV 映射测试集 | 第168页 |
