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

基于本体和SWRL的空间关系推理的设计与实现

作 者: 王欢
导 师: 曹菡
学 校: 陕西师范大学
专 业: 计算机软件与理论
关键词: 空间关系 空间关系推理 SWRL 本体 OWL 描述逻辑
分类号: P208
类 型: 硕士论文
年 份: 2007年
下 载: 510次
引 用: 15次
阅 读: 论文下载
 

内容摘要


形式化的空间关系推理是空间推理的一个核心部分,是实现任何空间数据处理方法的一个前提,是空间专家系统和地理信息系统的一个必要组成部分,是空间数据挖掘中的一个重要的辅助工具。其在设施选址、路径查找、地图标记和疾病分布等有关决策支持的活动中有着重要的应用。本体原本是西方分析哲学中研究实体存在和存在本质的理论。后来,本体作为一种知识表示工具被引入到了计算机科学领域。目前,本体作为处理知识共享的工具,在人工智能领域,计算机语言学,地理信息科学,数据库理论以及语义Web等领域中获得了广泛的研究和应用。在空间关系推理方面,构建空间关系推理中的本体知识表示不仅有利于实现空问关系知识的共享和重用,而且有利于推理的实现。尤其是利用基于描述逻辑的本体形式化模型来表示本体知识还可以弥补现有知识表示的不足。但由于目前关于基于本体的空间关系推理大都集中于对空间关系推理中的本体知识表示的研究,而对如何形式化本体知识,以及基于本体的空间关系的形式化自动推理方法却研究较少,基于本体的空间关系推理方法比较缺乏。因此,本文在分析现有空间关系推理理论和本体及其相关技术的基础上,针对空间关系的本体表示,主要研究基于本体的空间关系推理方法。研究内容如下:①地理信息系统是空间关系推理的一个重要应用领域,为使空间关系推理中的通用核心本体SRC-Ontology(空间关系表示核心本体)也能在地理信息系统中使用,本文对其进行了扩展与改进,以便能将该本体及基于该本体构建的空间关系推理用于实际的地理信息系统中,实现从已有的地理空间信息中获取空间关系信息。②设计基于本体和SWRL的空间关系推理的总体方案,该推理方案主要包括两个部分的推理,一个是本体的推理,一个是基于SWILL的推理。其中本体推理的主要目的是使我们建立的本体有更好的层次结构,同时确保由本体产生的定义和概念相互间没有冲突;而基于SWRL的推理主要用于实现本体知识同推理规则知识相结合产生的推理。③以改进和扩展后的SRC-Ontology为基础,利用OWL DL本体语言建立空间关系推理中的本体知识库,使用基于描述逻辑的Racer推理系统对建立的本体知识库进行一致性检测和冲突检测,确保所建立的本体库的一致性和正确性。OWL DL是W3C推荐的本体描述语言标准OWL语言的子语言,是一种基于描述逻辑的本体描述语言。利用OWL DL描述的本体知识不仅能很好的实现知识的共享和重用,而且能很好的使用描述逻辑的推理机制,进行本体推理。④基于对SWRL语言在规则表示方面的研究,本文提出利用protégé提供的JavaAPIs将空间关系推理中使用的基本算法以用户自定义的BuiltIn方式添加到SWRL语言中,对SWRL进行扩展,以便建立基于本体的空间关系推理规则的SWRL表达。⑤鉴于目前的推理系统都不能直接处NOWL表示的知识和SWRL定义的规则,本文通过SWRLJessTab对本体知识和SWRL规则进行格式转换,将OWL本体知识和SWRL规则分别转化为Jess格式的知识和规则,以便利用Jess规则引擎来进行推理。最后,基于前面提出的方法,本文以西安市旅游数据为试验数据,实现基于本体和SWRL的空间关系推理的原型系统。实验表明,基于本体和SWRL的空间关系推理方法作为一种基于本体的空间关系推理方法,不仅能实现空间关系知识的共享和重用,解决现有空间关系推理方法中知识表示的不足,而且能实现推理规则知识的共享和重用,大大减小空间关系推理系统的构造复杂性。

全文目录


摘要  3-5
Abstract  5-9
第一章 绪论  9-18
  1.1 研究背景及研究意义  9-11
  1.2 研究内容  11-12
  1.3 研究现状  12-16
    1.3.1 空间关系表示  12-14
    1.3.2 空间关系推理  14-16
    1.3.3 基于本体的空间关系推理  16
  1.4 论文结构  16-18
第二章 空间关系推理概述  18-39
  2.1 空间对象与空间关系  18-20
    2.1.1 空间对象  18-19
    2.1.2 空间关系  19-20
  2.2 空间关系表示  20-34
    2.2.1 拓扑关系表示  21-27
      2.2.1.1 RCC拓扑关系表示  21-23
      2.2.1.2 N交集拓扑关系表示  23-27
      2.2.1.3 拓扑关系表示小结  27
    2.2.2 方向关系表示  27-34
      2.2.2.1 空间方向参考框架及人们对方向的不同理解  28-29
      2.2.2.2 锥形模型  29-31
      2.2.2.3 投影模型  31-34
      2.2.2.4 方向关系表示小结  34
  2.3 空间关系推理方法研究  34-37
  2.4 本章小结  37-39
第三章 基于本体的空间关系推理研究  39-51
  3.1 本体  39-42
    3.1.1 本体的定义及应用  39-41
    3.1.2 本体知识的组成  41-42
  3.2 空间关系推理中的本体研究  42-48
    3.2.1 基于三个理论工具构建的空间本体及其对拓扑关系的推理  42-43
    3.2.2 SRC-Ontology及其对空间关系的推理  43-48
  3.3 SRC-Ontology的扩展与改进  48-50
  3.4 本章小结  50-51
第四章 基于本体和SWRL的空间关系推理方法  51-76
  4.1 本体知识的形式化描述和表达  51-61
    4.1.1 本体的描述逻辑表示  51-55
      4.1.1.1 描述逻辑  51-52
      4.1.1.2 基于描述逻辑的本体模型  52-53
      4.1.1.3 基于描述逻辑的本体推理  53-55
    4.1.2 本体描述语言  55-61
      4.1.2.1 语义Web的本体描述语言OWL  56-57
      4.1.2.2 OWL的表达能力  57-60
      4.1.2.3 OWL DL的表达能力  60
      4.1.2.4 OWL DL与描述逻辑  60-61
  4.2 语义网规则语言SWRL  61-68
    4.2.1 SWRL的抽象语法  62-63
    4.2.2 SWRL规则描述  63-68
  4.3 推理方案的总体设计  68-75
    4.3.1 Racer系统  70-72
      4.3.1.1 Racer在OWL DL中的应用  71-72
    4.3.2 Jess系统  72-74
    4.3.3 SWRLJess Tab  74-75
  4.4 本章小结  75-76
第五章 原型系统的设计与实现  76-89
  5.1 系统开发平台  76
  5.2 系统总体设计  76-77
  5.3 各模块的设计与实现  77-87
    5.3.1 图形用户界面模块  77-80
    5.3.2 本体知识库模块  80-84
    5.3.3 SWRL规则库模块  84-87
    5.3.4 推理模块  87
  5.4 试验总结  87-89
第六章 总结与展望  89-91
  6.1 论文工作总结  89-90
  6.2 对以后工作的建议  90-91
参考文献  91-97
致谢  97-98
攻读硕士学位期间研究成果及所获奖励  98

相似论文

  1. 哲学思想在指导中学数学教学中的作用,G633.6
  2. 基于本体的语义检索研究,TP391.3
  3. 不同人群本体感觉差异性比较及脑机制研究,B845
  4. 卢卡奇《关于社会存在本体论》中的劳动范畴,B515
  5. 基于分布式描述逻辑的本体模块化构建方法研究,TP391.1
  6. 一种基于领域本体的语义Web服务匹配和组合方法,TP393.09
  7. WordNet和《中国分类主题词表》的映射研究,G254
  8. 基于跨语言信息检索的企业竞争情报收集系统模型研究,TP391.3
  9. 220kV输电线路除冰机器人机械本体研究,TP242
  10. 基于语义的Web服务发现研究,TP393.09
  11. 本体在智能小区中的应用研究,TP391.1
  12. 基于领域本体的海洋环境数据仓库设计,TP311.13
  13. 数据空间中数据资源之间关联关系发现模型研究,TP311.13
  14. 情景应对模式下数字化应急预案的语义模型研究,TP391.1
  15. 一种基于语义的建筑工程质量检测方法研究,TP391.1
  16. 基于本体的方剂推荐系统模型研究与应用,TP391.3
  17. 基于本体的智能电网知识检索系统,TM76
  18. 基于本体与面向对象的并行程序设计可视化关键技术研究,TP391.41
  19. 基于Agent的旅游信息服务系统构建技术研究,TP393.09
  20. 基于本体打印机普适人机交互系统研究与设计,TP11
  21. 何晏玄学思想与王弼玄学思想的比较,B235

中图分类: > 天文学、地球科学 > 测绘学 > 一般性问题 > 测绘数据库与信息系统
© 2012 www.xueweilunwen.com