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.%通过定义公理中概念的极性和极性冲突，用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中，利用极性冲突作为启发信息，选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测，在一般情况下，加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。
展开▼
