语义网中基于描述逻辑的本体推理研究

被引:0
作者
孙鹏
机构
[1] 吉林大学
关键词
语义网; 本体; 本体推理; 描述逻辑; 概念分类; 优化技术; Tableau;
D O I
暂无
年度学位
2009
学位类型
硕士
摘要
自从2000年Tim Berners-Lee提出了语义Web的理念和框架结构后,这个被称之为下一代网络的技术就受到了普遍的关注,在过去的近十年时间内,人们对相关层面的知识架构、表示、推理等都进行了深入的研究,并不断的引入相关领域的技术思想应用于语义Web的开发和实现。 语义Web构建的核心技术之一是创建具有统一规范的领域本体,如何维护本体的正确性及有效的组织推理规则获取隐性信息是其中的主要工作,基于此点,本体推理研究在语义Web技术中具有重要意义。 本文中对语义Web技术、本体构建和推理以及描述逻辑相关方法进行了深入的研究和探讨。以基于ALC的Tableau算法作为可满足性判定的基础,对TBox推理部分的概念分类算法,进行了优化,提出了改进算法ERXM。该算法使用显示定义、重构、基于个体的包含关系判定以及标识扩展等优化技术,降低概念分类算法中概念间包含关系的检测次数,从而提高求解效率。当本体中包含个体数量较多时,算法的效率提高明显。此外,我们以此算法作为TBox推理中的核心部分,设计并实现了一个基于描述逻辑的本体推理系统原型,用于对读入本体文件的正确性检测及指导用户推理查询。最后,对相关性能进行了检测和比对。
引用
收藏
页数:63
共 10 条
[1]
语义Web中面向查询的本体推理机制的研究 [D]. 
曲丽宁 .
大连海事大学,
2008
[2]
基于语义Web的自动推理技术研究 [D]. 
朱创录 .
西北大学,
2006
[3]
描述逻辑推理优化技术研究 [D]. 
方流 .
浙江大学,
2008
[4]
语义网简明教程.[M].宋炜;张铭[著];.高等教育出版社.2004,
[5]
本体概念分类算法研究 [J].
龚波 ;
谢兴生 ;
庄镇泉 ;
张一鸣 .
电子技术, 2008, (06) :56-59
[6]
基于描述逻辑的推理系统设计与实现 [J].
文坤梅 ;
卢正鼎 ;
吴杰文 ;
李瑞轩 ;
孙小林 .
小型微型计算机系统, 2008, (01) :57-60
[7]
描述逻辑综述 [J].
石莲 ;
孙吉贵 .
计算机科学, 2006, (01) :194-197+225
[8]
RDF(资源描述框架)——Web数据集成的元数据解决方案.[J].罗威;.情报学报.2003, 02
[9]
An Overview of Tableau Algorithms for Description Logics [J].
Baader F. ;
Sattler U. .
Studia Logica, 2001, 69 (1) :5-40
[10]
Am empirical analysis of optimization techniques for terminological representation systems.[J].Franz Baader;Bernhard Hollunder;Bernhard Nebel;Hans-Jürgen Profitlich;Enrico Franconi.Applied Intelligence.1994, 2