摘要
The minimal unsatisfiability-preserving sub-TBoxes（MUPS）of an unsatisfiable class C identified by two equivalent transformations,axiom splitting and ontology reduction,and three discrimination rules comprise minimal sets of axioms which support the unsatisfiability.Discrimination rules classify all MUPS into three types based on the transitivity of unsatisfiability,fully dependent on C（MUPSf）,transitively dependent on C（MUPSt）and uncertainly dependent on C（MUPSu）.The results show that the number of MUPSt is frequently a large fraction of the total number of all MUPS,but only MUPSf catches the root error of C.Modelers and domain experts conduct iterative repair work effectively,considering only MUPSf in each iteration.The classification shows the significance for the evaluation of the quality of ontologies from the perspective of maintenance and for repair work.
为解释本体中概念不满足的原因,利用2个对等转换(即公理细化和本体约减)与3个判别规则识别不满足概念C的最小不一致知识子集(MUPS).其中,判别规则基于不满足概念的传递性,将MUPS分为3类:完全依赖于C(MUPSf)、传递依赖于C(MUPSt)和不确定依赖于C(MUPSu).实验结果表明:在本体不满足概念的MUPS中,MUPSt往往占大多数,但只有MUPSf可以明确指出概念不满足的根本原因.本体建模人员和领域专家可以采用迭代修复方式,每一次修复只考虑MUPSf,以提高修复效率.所得分类结果对于从修复角度评价本体质量以及指导修复工作都具有重要意义.
基金
The Science and Technology Development Program of Tianjin(No.06YFGZGX05900)
