收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

描述逻辑εL循环术语集的保守扩充

王勇红  
【摘要】:在计算机科学中,本体是动态的实体.为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合.在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充.研究扩充后的本体是否是扩充前本体的保守扩充问题是非常有必要的.如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体会产生不可预知的影响. Silvio Ghilardi等率先提出描述逻辑ALC保守扩充推理算法,并证明了ALC保守扩充是2指数时间完全的.随后,Carsten Lutz等研究了轻量级描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的.本文在Carsten Lutz等人的基础上探究εL循环术语集的保守扩充问题以及给出相应的推理算法. 本文主要工作以及研究成果总结如下: (1)本文给出描述逻辑εL解释之间的模拟、互模拟以及它们的性质: (2)循环术语集是描述逻辑长期以来的研究难点,其最基本问题,即语义及其推理问题,没有得到合理的解决.目前,研究循环TBox的语义主要有:最大不动点语义、最小不动点语义和描述语义.本文对典范模型进行扩展成最大不动点模型来处理εL循环术语集的保守扩充,并且其算法是指数时间复杂的. (3)本文给出了描述逻辑εL循环TBox在最大不动点语义下的保守扩充的充分条件是两个TBox具有相同的原始概念,并且该算法是多项式时间复杂的,不过这个推理算法不是完备的.


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 曹发生;余泉;;归纳法在描述逻辑中的应用[J];毕节学院学报;2009年08期
2 陈文军;徐慧;;基于描述逻辑的语义Web服务组合的框架研究[J];科协论坛(下半月);2011年05期
3 文斌;甘健侯;夏幼明;徐天任;;扩展描述罗辑ALC~+到谓词逻辑的转换研究初探[J];云南大学学报(自然科学版);2006年S2期
4 文斌;杨志荣;陈恳;甘健侯;;简单概念图与扩展描述逻辑ALC+的关系探讨[J];云南大学学报(自然科学版);2007年S2期
5 宋峻峰,张维明,肖卫东,唐九阳;基于本体的信息检索模型研究[J];南京大学学报(自然科学版);2005年02期
6 王淞昕;;基于描述逻辑的图像检索框架[J];吉林大学学报(理学版);2010年02期
7 高晓兵;李佳;曹发生;;一种格值的模糊动态描述逻辑[J];毕节学院学报;2010年04期
8 杨敬波;贾丽虹;张召兵;;描述逻辑SHIQ研究[J];曲阜师范大学学报(自然科学版);2006年01期
9 李宗寿;;基于描述逻辑的知识建模语言[J];怀化学院学报(自然科学);2007年02期
10 王淞昕;;能处理分层信度知识的描述逻辑PB-SHOIN(D)[J];吉林大学学报(理学版);2008年02期
11 宋炜;关于循环终止性证明的一种最小不动点方法[J];南昌大学学报(工科版);1991年01期
12 胡鹤;杜小勇;;一种基于区间模糊理论的描述逻辑系统[J];华中科技大学学报(自然科学版);2005年S1期
13 肖升;阳西述;;基于SHIQ DL关系词语分类研究[J];湖南师范大学自然科学学报;2007年04期
14 余泉;王驹;;模态描述逻辑的模型[J];南京大学学报数学半年刊;2007年02期
15 苏里;;基于描述逻辑的地图语义模型初步研究[J];测绘科学;2009年03期
16 刘健;;语义网中模糊本体的描述逻辑[J];科技资讯;2010年02期
17 张凌宇;陈楠;;语义网中描述逻辑的模糊扩展[J];高师理科学刊;2010年04期
18 程显毅;朱倩;韩飞;;基于HNC和描述逻辑的问句语义块分析[J];广西师范大学学报(自然科学版);2010年03期
19 林培光;樊孝忠;邓擘;;Cloud-ALC:描述逻辑ALC的不确定扩展[J];广西师范大学学报(自然科学版);2006年04期
20 冯锋;柳晓燕;张辉;;对称*-λ-半环[J];计算机工程与应用;2007年33期
中国重要会议论文全文数据库 前10条
1 吴凌坤;汤庸;汤娜;;一种基于时态描述逻辑的工资智能决策支持系统的实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
2 曹发生;;描述逻辑系统UEVN中概念的包含算法[A];“回顾与前瞻:中国逻辑史研究30年”全国学术研讨会论文集[C];2010年
3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
4 王真星;吕腾;;本体的描述逻辑到框架表示的转换[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
5 张杨;房斌;徐传运;;基于本体和描述逻辑的图像语义识别[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
6 文斌;甘健侯;夏幼明;徐天伟;;框架表示法到扩展描述逻辑ALC+的转换初探[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[A];广西计算机学会2010年学术年会论文集[C];2010年
8 王浩;刘晓平;周国祥;;CDOL程序的层迭化[A];第十六届全国数据库学术会议论文集[C];1999年
9 林培光;刘弘;樊孝忠;王涛;;一种新的语义网信息检索方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
10 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 王静;基于可拓集的描述逻辑研究[D];哈尔滨工程大学;2009年
2 张小旺;超协调描述逻辑[D];北京大学;2011年
3 邹婷婷;描述逻辑中若干问题的研究[D];吉林大学;2013年
4 唐素勤;面向语义Web的描述逻辑本体构建[D];中南大学;2011年
5 沈国华;基于描述逻辑的语义Web服务建模及推理研究[D];南京航空航天大学;2009年
6 冯莎莎;本体逻辑差的研究[D];吉林大学;2011年
7 杨鹏;面向事件感知的应急临机决策引擎研究[D];天津大学;2010年
8 方流;描述逻辑推理优化技术研究[D];浙江大学;2008年
9 古华茂;描述逻辑概念可满足性推理研究[D];浙江大学;2009年
10 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院(软件研究所);2002年
中国硕士学位论文全文数据库 前10条
1 王勇红;描述逻辑εL循环术语集的保守扩充[D];广西师范大学;2012年
2 郭昊;描述逻辑在空间推理中的应用[D];吉林大学;2008年
3 任涛;基于本体和描述逻辑的Web服务查找技术研究[D];山东大学;2005年
4 董小峰;面向服务的企业数据语义检索技术研究[D];西北工业大学;2006年
5 朱创录;基于语义Web的自动推理技术研究[D];西北大学;2006年
6 吴昊;基于本体论的知识推理查询系统的研究[D];江苏大学;2005年
7 汪洋;基于描述逻辑的推理机设计实现及其分布化研究[D];北京邮电大学;2007年
8 张银平;描述逻辑在构件检索以及Web服务组合上的应用[D];吉林大学;2008年
9 朱红梅;模型资源的语义表示和应用研究[D];山东科技大学;2005年
10 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978