基于极性的非循环术语集调试  

Debugging acyclic terminologies based on polarity

作　　者：雷景佩 欧阳丹彤[1] 叶育鑫[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《中国科技论文》2014年第1期76-80,共5页China Sciencepaper

基　　金：国家自然科学基金资助项目(61133011;60973089;61003101;61170092;61272208);高等学校博士学科点专项科研基金资助项目(20100061110031);吉林省科技发展计划资助项目(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目(ZSDZZZZXK12);浙江省自然科学基金资助项目(Y1100191)

摘　　要：通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。Finding all conflict sets of unsatisfiable concepts is the core task for debugging incoherent terminology,and lots of sig-nificant work has been done on it.In this paper,the concepts of polarity in axioms and polarity conflicts are given.Then,con-flicts of acyclic ALC terminologies are simulated by polarity conflicts.In the process of solving minimal unsatisfiability preserving sub-TBox,axiom sets that are more likely to lead to conflict are selected by polarity conflicts in expansion and contraction stage. Experimental results show that algorithms which add the polarity conflict information are efficient in normal conditions.

关 键 词：本体 术语集 不一致 极性 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]