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