\input zb-basic
\input zb-ioport
\iteman{io-port 05584658}
\itemau{Wang, Wenbin; Yang, Fan; Rao, Yimei; Chen, Qiushuang}
\itemti{MUPS identification based on discrimination rules.}
\itemso{J. Southeast Univ., Engl. Ed. 24, No. 3, 372-376 (2008).}
\itemab
Summary: The Minimal Unsatisfiability-Preserving Sub-TBoxes (MUPS) of an unsatisfiable class $C$ is identified by two equivalent transformations, axiom splitting and ontology reduction, and three discrimination rules that 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.
\itemrv{~}
\itemcc{}
\itemut{ontology debugging; minimal unsatisfiability-preserving sub-TBoxes; discrimination rules}
\itemli{}
\end