CAJ | 학술논문

通过定义公理中概念的极性和极性冲突，用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中，利用极性冲突作为启发信息，选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测，在一般情况下，加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。
통과정의공리중개념적겁성화겁성충돌，용겁성충돌모의비순배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.