学位论文 > 优秀研究生学位论文题录展示

完整性约束本体到关系数据库的映射

作　者: 崔仙姬
导　师: 欧阳丹彤
学　校: 吉林大学
专　业: 计算机软件与理论
关键词: 语义Web 本体完整性约束关系数据库描述逻辑 SPARQL
分类号: TP311.13
类　型: 硕士论文
年　份: 2011年
下　载: 83次
引　用: 0次
阅　读: 论文下载

内容摘要

语义Web自提出以来就一直成为专家学者们讨论与研究的热点。随着互联网的迅速发展,语义Web中的信息以指数形式增长,迫切需要一种映射机制将语义Web数据映射到数据库中。研究如何在保持其语义不丢失的前提下,实现语义Web数据在关系数据库中的存储与查询是当前研究的热点。鉴于传统的映射方法没有考虑数据的完整性,本文将完整性约束加入到本体,给出一种完整性约束本体到关系数据库的映射机制。本文主要工作如下：1.通过比较本体和数据库的模式,用IC-公理表示本体中的完整性约束,采用一种基于DCQnot的转换方法进行验证,将本体中的完整性约束验证问题转化为查询回答的形式,进一步生成满足完整性约束的本体。2.根据IC-公理进行模式分解,将本体数据存储到相应的表中,优化了现有的存储方案。实验结果表明,大多数情况下本文中的存储方法在存储空间和查询效率方面都优于传统的存储方法,并且随着数据集规模的增大,差距更明显。3.对SPARQL语句进行分类,并给出相应的基于完整性约束的SPARQL到SQL的查询转换算法。传统的查询转换方法都是基于三元组表或者属性表,本文方法解决了其可读性差、表连接个数多等问题,使得转换生成的SQL语句查询效率更高。

全文目录

提要  4-5
摘要  5-7
Abstract  7-11
第1章绪论  11-16
  1.1 研究背景  11-12
  1.2 研究现状  12-14
  1.3 主要工作与组织结构  14-16
第2章本体中的完整性约束  16-21
  2.1 DL SROIQ语法与语义  16-18
  2.2 完整性约束的表示  18-21
第3章本体中完整性约束验证  21-31
  3.1 完整性约束的验证基础  21-22
  3.2 基于最小Herbrand模型的IC验证  22-24
  3.3 基于DCQ~(not)的IC验证  24-26
    3.3.1 基于DCQ~(not)的验证基础  24-25
    3.3.2 基于DCQ~(not)的验证方法  25-26
  3.4 完整性约束本体  26-30
  3.5 实验测试与分析  30-31
第4章基于完整性约束的存储  31-39
  4.1 IC-本体的存储策略  31-34
  4.2 IC-存储  34-36
    4.2.1 IC-存储算法  34-35
    4.2.2 与传统存储算法的比较  35-36
  4.3 实验测试与分析  36-39
第5章基于完整性约束的查询转换  39-48
  5.1 SPARQL查询语句分类  39-41
  5.2 基于完整性约束的查询转换策略  41-45
  5.3 实验测试与分析  45-48
第6章结论与展望  48-50
  6.1 结论  48-49
  6.2 展望  49-50
参考文献  50-55
作者简介及在学期间所取得的科研成果  55-56
致谢  56

完整性约束本体到关系数据库的映射

内容摘要

全文目录

相似论文