基于非单调能力扩展的本体推理与查询研究

基于非单调能力扩展的本体推理与查询研究

论文摘要

描述逻辑是语义web的逻辑基础,只能处理客观,完全的知识,对于主观,不完全的知识就无能为力了。认知描述逻辑ALCK通过认知运算符来表达认知查询可以对不完全信息进行有效的处理,而且保留了描述逻辑适合描述领域分类术语知识的优点。本文的工作主要围绕以下几个方面展开:论文首先介绍了描述逻辑ALCR+,认知描述逻辑ALCK以及在描述逻辑中的合取查询。分别介绍了它们的语法,语义及查询推理所用的算法,以此作为研究的基础知识;其次,针对原有认知描述逻辑ALCK描述领域知识能力有限的问题,加入了传递性角色属性,提出了认知描述逻辑语言ALCKR+。给出了它的语法,语义及推理的表算法。证明了表算法的可判定性和可靠性,分析了表算法推理时的时间复杂度;然后,针对认知描述逻辑ALCK中认知查询表达能力不足,加入了合取查询,提出了ALCK中的认知合取查询语言。给出了语法,语义及回答认知合取查询的算法。证明了判定算法的可判定性,可靠性和完备性,分析了查询算法的时间复杂度。最后,总结了本文所作的主要研究工作,指出了进一步研究的发展方向,也说明了本文对推动语义web的研究与发展有一定的意义。

论文目录

  • 摘要
  • ABSTRACT
  • 第一章 绪论
  • 1.1 前言
  • 1.2 研究背景
  • 1.2.1 语义web
  • 1.2.2 描述逻辑,认知描述逻辑及合取查询
  • 1.2.3 SNAX系统
  • 1.3 国内外研究现状
  • 1.4 研究目的与意义
  • 1.5 论文组织结构
  • 1.6 小结
  • 第二章 描述逻辑非单调推理和查询概述
  • +'>2.1 描述逻辑ALCR+
  • 2.1.1 语法
  • 2.1.2 语义
  • 2.1.3 表算法
  • 2.2 认知描述逻辑ALCK
  • 2.2.1 语法
  • 2.2.2 语义
  • 2.2.3 表算法
  • 2.3 合取查询
  • 2.3.1 语法及语义
  • 2.3.2 合取查询中的多个概念项
  • 2.3.3 合取查询中的变量
  • 2.4 小结
  • +研究'>第三章 认知描述逻辑ALCKR+研究
  • 3.1 语法
  • 3.2 语义
  • 3.3 表算法
  • 3.4 可靠性及可判定性证明
  • 3.5 复杂度分析
  • 3.6 应用举例
  • 3.6.1 语义web服务概述
  • 3.6.2 实例说明
  • 3.7 小结
  • 第四章 认知描述逻辑中的合取查询研究
  • 4.1 认知合取查询的语法和语义
  • 4.2 多个个体项的查询
  • 4.3 查询中的变量
  • 4.4 可判定性证明
  • 4.5 可靠性和完备性证明
  • 4.6 时间复杂度
  • 4.7 应用举例
  • 4.7.1 语义web服务概述
  • 4.7.2 实例说明
  • 4.8 小结
  • 第五章 结论与展望
  • 5.1 研究工作及成果总结
  • 5.2 未来工作展望
  • 参考文献
  • 致谢
  • 攻读学位期间主要研究成果
  • 相关论文文献

    • [1].基于语义Web的e-Learning模型设计[J]. 中国远程教育 2008(12)
    • [2].国外典型语义标注平台的比较研究[J]. 现代情报 2009(01)
    • [3].半自动化本体获取研究[J]. 信息技术与信息化 2009(02)
    • [4].基于描述逻辑的推理系统设计与实现[J]. 小型微型计算机系统 2008(01)
    • [5].利用自动机研究描述逻辑的推理问题[J]. 计算机与现代化 2008(06)
    • [6].基于本体的精品课程资源语义检索的研究[J]. 吉林师范大学学报(自然科学版) 2010(03)
    • [7].基于可拓理论的描述逻辑扩展[J]. 计算机应用 2008(08)
    • [8].基于本体的语义检索系统的设计[J]. 北京石油化工学院学报 2011(04)
    • [9].基于CAN协议P2P网络的语义web服务模型[J]. 微计算机信息 2009(03)
    • [10].基于语义Web技术的油(气)井监视用例的介绍与评价[J]. 辽宁化工 2011(06)
    • [11].一种语义Web服务的自动发现算法研究[J]. 科技情报开发与经济 2009(07)
    • [12].语义Web的核心技术[J]. 硅谷 2010(09)
    • [13].基于语义Web的网络教学知识管理系统研究[J]. 科技管理研究 2009(12)
    • [14].RRL:对语义Web上Ontology表示语言OWL的一种扩展方案[J]. 电脑知识与技术 2008(35)
    • [15].Web环境下本体管理[J]. 计算机系统应用 2015(08)
    • [16].P2P环境下基于语义的Web服务组合研究[J]. 计算机应用与软件 2010(03)
    • [17].语义Web中本体推理研究[J]. 淮海工学院学报(自然科学版) 2010(02)
    • [18].一种基于语义的Web服务组合方法[J]. 天津理工大学学报 2010(05)
    • [19].Web2.0环境下的科技论文共享之机构知识库[J]. 江苏科技信息 2013(23)
    • [20].构建语义Web环境下的知识服务科学框架[J]. 信息资源管理学报 2011(01)
    • [21].基于OWL-S的语义Web服务的研究[J]. 黑龙江科技信息 2011(34)
    • [22].基于Web的本体描述语言的分析与比较研究[J]. 科技信息 2009(32)
    • [23].语义Web下大数据量模糊聚类分析[J]. 电脑知识与技术 2011(27)
    • [24].基于范例表达语言的设计及其推理架构的实现[J]. 计算机应用与软件 2009(05)
    • [25].基于HS-树的所有MIPS求解算法[J]. 北京交通大学学报 2009(05)
    • [26].基于语义Web的企业知识集成研究[J]. 科技管理研究 2009(10)
    • [27].语义Web服务技术研究综述[J]. 无线互联科技 2015(06)
    • [28].面向语义的课程知识本体的构建[J]. 甘肃科技纵横 2014(02)
    • [29].智能化数字档案馆体系结构研究[J]. 兰台世界 2013(32)
    • [30].基于概念的语义智能搜索模型体系结构的研究[J]. 商场现代化 2009(05)

    标签:;  ;  ;  ;  

    基于非单调能力扩展的本体推理与查询研究
    下载Doc文档

    猜你喜欢