[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(
)
基于判别规则的最小不一致知识子集识别
)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.
- 为解释本体中概念不满足的原因, 利用2个对等转换(即公理细化和本体约减)与3个判别规则识别不满足概念C的最小不一致知识子集(MUPS).其中, 判别规则基于不满足概念的传递性, 将MUPS分为3类:完全依赖于C(MUPSf)、传递依赖于C(MUPSt)和不确定依赖于C(MUPSu).实验结果表明:在本体不满足概念的MUPS中, MUPSt往往占大多数, 但只有MUPSf可以明确指出概念不满足的根本原因.本体建模人员和领域专家可以采用迭代修复方式, 每一次修复只考虑MUPSf, 以提高修复效率.所得分类结果对于从修复角度评价本体质量以及指导修复工作都具有重要意义.
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.