[1] Wang Wenbin, Yang Fan, Rao Yimei, Chen Qiushuang, et al. MUPS identification based on discrimination rules [J]. Journal of Southeast University (English Edition), 2008, 24 (3): 372-376. [doi:10.3969/j.issn.1003-7985.2008.03.030]

Copy

MUPS identification based on discrimination rules()

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

24

Issue:

2008 3

Page:

372-376

Research Field:

Computer Science and Engineering

Publishing date:

2008-09-30

Info

Title:

MUPS identification based on discrimination rules

Author(s):

Wang Wenbin;  Yang Fan;  Rao Yimei;  Chen Qiushuang

College of Information Technical Sciences, Nankai University, Tianjin 300071, China

Keywords:

ontology debugging;  minimal unsatisfiability-preserving sub-TBoxes(MUPS);  discrimination rules

PACS:

TP391

DOI:

10.3969/j.issn.1003-7985.2008.03.030

Abstract:

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.

References:

[1] Schlobach S, Cornet R.Non-standard reasoning services for the debugging of description logic terminologies [C]//Proc of the 8th International Joint Conference on Artificial Intelligence. Acapulco, Mexico, 2003:335-362.
[2] Haase P, van Harmelen F, Huang Zhisheng, et al.A framework for handling inconsistency in changing ontologies [C]//Proc of the 4th International Semantic Web Conference. Berlin:Springer-Verlag, 2005:353-367.
[3] Schlobach S, Huang Zhisheng.Inconsistent ontology diagnosis:framework and prototype [R].Karlsruhe, Germany:SEKT Project, 2003.
[4] Wang H, Horridge M, Rector A, et al.Debugging OWL DL ontologies:a heuristic approach [C]//Proc of the 4th International Semantic Web Conference.Berlin:Springer-Verlag, 2005:745-757.
[5] Schlobach S, Huang Zhisheng, Ronald C, et al.Debugging incoherent terminologies [J].Journal of Automated Reasoning, 2007, 39(3):317-349.
[6] Parsia B, Sirin E, Kalyanpur A.Debugging owl ontologies [C]//Proc of the 14th International World Wide Web Conference.New York:ACM Press, 2005:633-640.
[7] Kalyanpur A, Parsia B, Sirin E, et al.Debugging unsatisfiable classes in OWL ontologies [J].Journal of Web Semantics, 2005, 3(4):268-293.
[8] Meyer T, Lee K, Booth R, et al.Finding maximally satisfiable terminologies for the description logic ALC [C]//Proc of the 21st National Conference on Artificial Intelligence. Portland:AAAI Press, 2006:269-274.
[9] Kalyanpur A.Debugging and repair of OWL ontologies [D]. College Park: University of Maryland, College Park, 2006.
[10] Kalyanpur A, Parsia B, Horridge M, et al.Finding all justifications of OWL DL entailments [C]//Proc of the 6th International Semantic Web Conference. Berlin:Springer-Verlag, 2007:267-280.
[11] Horrocks I, Patel-Schneider P F.Reducing OWL entailment to description logic satisfiability [J].Journal of Web Semantics, 2004, 1(4):345-357.
[12] Bechhofer S, Lord P, Volz R.Cooking the semantic web with the OWL API [C]//Proc of the Second International Semantic Web Conference. Berlin:Springer-Verlag, 2003:659-675.
[13] Kalyanpur A, Parsia B, Sirin E, et al.Swoop:a web ontology editing browser [J].Journal of Web Semantics, 2006, 4(2):144-153.

Memo

Memo:

Biographies: Wang Wenbin(1982—), male, graduate;Chen Qiushuang(corresponding author), female, doctor, professor, chenqs@nankai.edu.cn.
Foundation item: The Science and Technology Development Program of Tianjin(No.06YFGZGX05900).
Citation: Wang Wenbin, Yang Fan, Rao Yimei, et al.MUPS identification based on discrimination rules[J].Journal of Southeast University(English Edition), 2008, 24(3):372-376.

Common functions