本体不一致问题研究

【摘要】近年来,语义Web技术不断发展,本体作为一种清晰表达语义和知识共享的方式,成为了语义Web的核心,其相关研究也得到了很大的进步。然而,在实际应用中,很难构建没有错误的本体,引起本体不一致的原因有很多。本体构建者对知识认识的不足或错误可能导致不一致,本体描述或者分类上的含混、语义上的冲突可能引起前后不一致,本体迁移或本体合并、集成等操作也很容易使本体产生不一致。在经典推理下,不一致本体可以演绎出任何结论,针对这样的本体进行推理是毫无意义的。因此不一致处理成为本体研究的关键问题,得到学术界的高度关注。本文在全面分析本体不一致问题研究现状的基础上,重点对本体不一致性的度量方法、不一致本体的诊断和修复方法、不一致本体的推理方法等若干关键问题进行了深入探讨,最后利用自行构建的林业领域本体,对研究成果进行了实证分析。主要贡献包括：(1)本体不一致性的度量方法的研究。首先提出一种基于证据理论的本体不一致性度量ETOIM方法,并通过实例验证了该方法的有效性。然后在ETOIM方法基础上,利用语法相关性,提出了另外一种更加有效的基于选择函数的证据理论本体不一致性度量SETOIM方法,SETOIM方法的实验结果比ETOIM方法的实验结果更接近“事实”。同时将这两种方法与当前具有代表性的类似算法进行了比较,结果表明我们提出的算法是有效的。(2)不一致本体的诊断和修复方法的研究。提出一种比传统的局部诊断方法效率更高的不一致本体的诊断修复方法,即证据验证诊断方法。该方法能够利用系统提供的新证据首先可将“无罪者”(“无辜者”)元素排除,缩小了诊断范围；然后再次利用新证据可将“定罪者”元素“挖”出,进一步缩小了诊断范围；最后对剩余部分进行诊断修复。这种证据验证诊断方法因诊断范围的两次缩小提高了诊断效率,另外,这种做法在“挖”出“定罪者”元素之后,便可以避免因为这些“定罪者”元素而“殃及无辜”的问题,进一步提高了诊断修复的准确率。(3)不一致本体的推理方法的研究。在研究基于线性递增策略的不一致本体推理方法的基础上,提出一种新的基于线性递减策略的不一致本体推理方法。线性递增的不一致推理适用于一致性程度高的本体,线性递减的不一致推理适用于一致性程度低的本体。但这类单纯依赖于语法相关选择函数的不一致推理,在两次线性变换之间的推理空间相差较大,容易漏失有意义的答案。我们将这两种单纯依赖于语法相关选择函数的不一致推理统称为“粗粒度”不一致推理。进而,作为“粗粒度”不一致推理的补充和完善,我们将不一致性的度量结果用于推理,给出一种“细粒度”推理策略,这种推理方法能在一定程度上提高推理的有效性。(4)设计了基于林业领域本体的林业知识资源管理服务系统框架,该系统包括林业领域本体构建模块、本体不一致处理模块和语义检索模块三部分。其中的本体不一致处理模块对本文提出的不一致性度量方法、诊断修复方法和不一致推理方法进行了逐一验证。
【作者】李冬梅；
【导师】黄厚宽；
【作者基本信息】北京交通大学，计算机应用技术，2014，博士
【关键词】本体；描述逻辑；一阶逻辑；证据理论；不一致性度量；诊断和修复；不一致推理；

【参考文献】
[1]贺振华.百尺竿头,更进一步[J].石油地球物理勘探,1995,05:574.
[2]杜亚辉.秦汉时期的兵器管理[D].西北师范大学,历史文献学,2013,硕士.
[3]樊泽慧.汉英翻译中的认知语义演化现象研究[D].南京大学,英语语言文学（专业学位）,2013,硕士.
[4]方志宏,朱克强,吴誉,刘浩.宝钢二连铸电气设备监控系统[J].冶金自动化,2004,05:43-46+57.
[5]孙炳霞.紫癜消冲剂治疗小儿过敏性紫癜（血热妄行型）的临床观察[D].黑龙江中医药大学,中医儿科学（专业学位）,2013,硕士.
[6]曾清华.湖湘中医肿瘤医院薪酬体系诊断与优化设计[D].长沙理工大学,人力资源管理（专业学位）,2012,硕士.
[7]贾喜越.“十一五”产业结构优化研究[D].山西财经大学,统计学,2014,硕士.
[8]袁浩亮.稀疏表达在图像恢复中的应用[D].湖北大学,应用数学,2012,硕士.
[9]陆爱珍.吸入一氧化氮诱导内皮祖细胞归巢防治支气管肺发育不良的研究[D].复旦大学,儿科学,2013,博士.
[10]蒋力,李德鹏,徐羚,李飞,徐新,高云芳.废旧三元正极材料锂离子电池的资源化利用技术[J].中国资源综合利用,2013,11:46-50.
[11]李长伟.中国建设监理服务的发展模式[D].西安建筑科技大学,管理科学与工程,2004,硕士.
[12]迟尚忠.稠油地面工艺技术探讨[J].油田地面工程.1992(06)
[13]杜丽姣.南京市小学艺术教师专业发展现状调查研究[D].南京师范大学,美育学,2012,硕士.
[14]尹治国.汽车轮毂轴承单元轴铆合过程仿真分析[D].华南理工大学,车辆工程（专业学位）,2012,硕士.
[15]潘俊晓.碳化硼团簇几何结构和稳定性的第一性原理研究[D].浙江大学,2014.
[16]陈晓煜.量子Schur超代数的无穷小理论和整量子超群的BLM实现[D].华东师范大学,基础数学,2014,博士.
[17]徐妇女.汉日主语省略现象比较[D].福建师范大学,日语语言文学,2012,硕士.
[18]钟洋.基于民众恐慌行为的应急疏散指派与路径优化研究[D].西南交通大学,管理科学与工程,2013,硕士.
[19]黄浩.基于灰色理论的220KV变压器故障气体预测模型[D].广东工业大学,电气工程（专业学位）,2014,硕士.
[20]刘苏.湖北省技术市场政府治理研究[D].华中科技大学,行政管理,2013,硕士.
[21]云石榴.平原农业县生育意愿研究[D].云南财经大学,人口、资源与环境经济学,2014,硕士.
[22]高英明.基于计算机视觉的二维检测系统的初步开发[D].大连理工大学,机械设计及理论,2004,硕士.
[23]李润梅,刘建忠,朱凤华.平行公交系统中的计算实验问题研究[J].自动化学报,2013,07:1011-1017.
[24]罗显刚.科技型事业单位改制问题研究[D].四川大学,行政管理,2003,硕士.
[25]陈大为,佟瑞鹏.企业安全生产发展战略策划及编制技术的研究[J].中国安全科学学报.2007(04)
[26]洪琴.贸易开放度、FDI对中国贸易碳转移的影响[D].厦门大学,人口、资源与环境经济学,2014,硕士.
[27]冯宗恒.对低压配电系统的电气安全与现行规程的我见[J].电气工程应用.1986(04)
[28]李俊.基于.Net的中小学运动会管理系统分析与设计[D].云南大学,软件工程,2012,硕士.
[29]袁静.面向液晶模组生产车间的虚拟单元构建问题研究[D].江苏科技大学,工业工程（专业学位）,2013,硕士.
[30]成璇.低变质粉煤与焦油渣制备型焦的实验研究[D].西安建筑科技大学,有色金属冶金,2013,硕士.
[31]陈鹏.六维加速度传感器性能研究及参数辨识[D].南京航空航天大学,机械电子工程,2012,硕士.
[32]杨旭艳.遥感图像信息容量的不确定性研究[D].西北大学,地图学与地理信息系统,2013,硕士.
[33]陈姝妤.论陈寅恪的文学阐释学[D].厦门大学,文艺学,2014,硕士.
[34]夏火松,蔡淑琴.基于分形的市场营销离群数据挖掘模型[J].计算机工程与应用,2002,12:24-25+28.
[35]王倩.明清传奇的言情与记史互渗模式研究[D].沈阳师范大学,中国古代文学,2014,硕士.
[36]吴嘉琦.低功耗Viterbi译码器的设计与实现[D].苏州大学,集成电路工程（专业学位）,2013,硕士.
[37]魏崴.模块化神经网络中的若干问题研究[D].武汉理工大学,控制理论与控制工程,2004,硕士.
[38]张蕾.宋代以来江南地区竹的生态史研究[D].复旦大学,历史地理学,2013,博士.
[39]武海潭.体育课不同运动负荷组合方式对少年儿童健康体适能及情绪状态影响的实验研究[D].华东师范大学,运动人体科学,2014,博士.
[40]王佩朝.种子悬浮聚合制备互穿网络结构复合物的研究[D].河北工业大学,高分子化学与物理,2013,硕士.
[41]钟蓉戎,吕成祯.荣誉学院实行“书院制”管理模式的探索[J].煤炭高等教育,2014,05:81-85.
[42]汪振环.基于螺纹冷却管的EGR冷却器分析[D].广西科技大学,机械设计及理论,2013,硕士.
[43]姜兆敏.有关风暴潮近似解的研究[D].河海大学,应用数学,2004,硕士.
[44]朱新蕾.湖南高等学校公共艺术课程现存问题分析及对策研究[D].湖南师范大学,艺术学,2012,硕士.
[45]崔瑞国.果蝇对不同粗糙表面爬附力及其表征方法的研究[D].东华大学,纺织材料与纺织品设计,2012,硕士.
[46]顾巍巍.农业植物新品种权转让中的保护问题研究[D].南京农业大学,农村与区域发展,2013,硕士.
[47]王海洋.信息时代的思维方式[D].吉林大学,马克思主义哲学,2004,硕士.
[48]周玉飞.大功率移相全桥变换器若干关键技术研究[D].浙江大学,2007.
[49]韩晓霞.R290与R404A内螺纹管中沸腾换热研究[D].西安建筑科技大学,供热、通风与空调工程,2004,硕士.
[50]张莉.超细HZSM-5分子筛及其整体催化剂催化乙醇制丙烯反应的实验研究[D].西北大学,化学工程,2013,硕士.