开放环境下本体演化语义冲突的检测与诊断研究

来源 :大连海事大学 | 被引量 : 2次 | 上传用户:fgh000000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本体演化是为适应变更而对本体做出的及时变更,并要保持变更后本体及其相关应用的一致性。纵观近年来本体演化研究,现有方法和工具大多以集中式环境为前提,但在Web这样开放的动态环境中显露出一些难于解决的问题,如全局知识、语义冲突和不可计算性等。开放环境下的本体演化客观上需要对一致性进行检测、定位和甚至是修复的非标准推理技术。如何检测和诊断变更序列之间的语义冲突是开放环境下的本体演化面临的主要任务。本论文在总结本体演化研究现状的基础上,将深入研究本体一致性非标准推理方法,以及开放环境下多人修改本体条件下的变更序列语义冲突检测方法和冲突诊断方法。本论文主要包含以下几部分研究内容:(1)提出一种基于Alloy的本体一致性非标准推理方法。该方法首先对本体文件进行解析,提出转换算法,再以解析结果作为输入,生成用Alloy语言描述的本体模型,根据模型的推理结果对本体的一致性进行判断。该方法能够弥补现有方法不能进行ABox推理的不足,并且对于不满足一致性推理的本体能够给出反例,为查找不一致问题的根源提供依据。(2)提出一种改进的基于SAT的本体一致性非标准推理方法。这种方法首先定义一种基于逻辑的中间语言,并给出OWL本体语言与中间语言之间的转换规则,最后将SAT求解器计算的实验数据与已有方法进行对比,说明该方法支持更大规模的本体推理。对于找不到可满足解的本体,通过计算最小不可满足集来查找不可满足的原因。(3)提出开放环境下本体演化变更序列的冲突检测算法。本研究内容在定义本体演化的基本概念和关系的基础上,对开放环境下本体变化序列之间的冲突进行研究讨论。提出冲突分类、冲突检测方法。这种方法按照冲突产生的范围将冲突分为序列内部的不一致冲突、变更序列之间的直接冲突和序列之间的不一致冲突。针对不同的冲突类型分别给出不同的冲突检测算法,并证明算法的正确性。该方法不仅能够检测出冲突,而且能在出现冲突的情况下找到最大一致变更子序列,保证演化的顺利进行。(4)提出开放环境下本体演化变更序列语义冲突诊断算法。方法中引入冲突变更序列矩阵、冲突序列集合、最小碰集序列等概念,对本体演化中的变更序列进行描述,进一步计算最小碰集序列集合。再引入贝叶斯概率公式计算最小碰集序列集合中概率,进而进行排序,用排序结果表示最小碰集序列集合中的最小碰集序列导致冲突的可能性。(5)设计并实现一个支持开放环境下本体演化的原型系统。该系统能够对开放环境下变更序列内部与变更序列之间的冲突进行检测,并针对语义冲突进行冲突诊断,保证本体演化的顺利进行。更进一步,能够对变更后的本体进行一致性检测,保证演化本体的正确性。
其他文献
本文介绍了世界集成电路技术的发展趋势和我国“909”工程的进展情况,论述了当前加强芯片设计开发工作的紧迫性,提出:针对国内市场需求,既要重视各类中低档集成电路的设计开发,又
期刊
在很多的行业、部门中,都存在着因为现场与能够处理数据的管理机构隔着较远的距离,或者因为现场无人值守而导致取得的第一手数据无法及时的进行上传,但是,又必须要定时的对部分现
随着职业教育的不断发展,“双师型”教师在中职教育中起着越来越重要的作用,但目前“双师素质”教师建设还存在不少问题,需要政府部门和高职院校共同努力,实施相应对策,切实提高职
人事档案是我国人事管理制度的一项重要特色,它是个人身份、学历、资历等方面的证据,与个人工资待遇、社会劳动保障、组织关系紧密挂钩,具有法律效用,是记载人生轨迹的重要依据。
化学反应中的能量变化在教材中的篇幅较少,但由于涉及的知识点多,成为高考试卷中必考的题型.本人从2005年高考试题中选择三道有关化学反应中的能量变化试题做以解析.
当前,在建设工程招投标过程中,最重要的就是加强对招标档案的管理。文中简要阐述了加强建设工程招标档案管理所具有的重要意义,指出了当前建设工程招标档案管理中存在的主要问题
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
本位置伺服系统它采用STD总线模块式的多CPU结构,主要面向经济型数控机床。该系统可靠性高,控制死区小,响应速度快,具有良好的应用前景。
从GPS授时系统的原理入手,根据泰州电视台的现实情况,具体介绍GPS授时系统在泰州电视台较早台标机系统及较新硬盘播控网络中的应用,并简单阐述基于安全的几点考虑。