期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
MUPS identification based on discrimination rules
1
作者 王文斌 杨帆 +1 位作者 饶一梅 陈秋双 《Journal of Southeast University(English Edition)》 EI CAS 2008年第3期372-376,共5页
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... 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. 展开更多
关键词 ontology debugging minimal unsatisfiability-preserving sub-tboxes (MUPS) discrimination rules
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部