Browse > Article

MEXS Extracting and Storing for Ontology Debugging  

Kim, Je-Min (숭실대학교 컴퓨터학과)
Park, Young-Tack (숭실대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.35, no.6, 2008 , pp. 366-373 More about this Journal
Abstract
The web ontology language(OWL) has been used by ontology designers to construct ontology. In order to derive hidden information(concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. But most reasoners simply report these information without process for any arbitrary entailment and unsatisfiable concept derived from a OWL ontologies. In this paper, we propose Minimum Expression Axiom Set(MEXS) detection and storing for debugging unsatisfiable concepts in ontology. In order to detect MEXS, we need to find axiom to cause inconsistency in ontology. Therefore, our work focused on two key aspects: given a inconsistency ontology, identifying the roots of axioms to occur unsatisfiable and derived axioms from among them; and extracting MEXS. Our results can be applicable to all application, which is at the basis of the description logic.
Keywords
Ontology; Description Logic; Ontology Reasoning; Ontology Debugging;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Gruber, T., 'A translation approach to portable ontologies,' Knowledge Acquisition, Vol. 5, No. 2, pp. 199-220, 1993   DOI   ScienceOn
2 Grigoris, A., Frank van Harmelen, A Semantic Web Primer. The MIT Press, 2004
3 Baader F., et al, The Description Logic Handbook, Cambridge, 2003
4 Steffen Staab, Rudi Studer (Eds.): Handbook on ontologies: International Handbooks on Information Systems. Springer 2004
5 Berners-Lee, T., Hendler, J. and Lassila, O., 'The Semantic Web,' Scientific American, 2001
6 Genesereth, M., Nilsson, N. Logical Foundations of Artificial Intelligence, Morgan Kaufman, 1987
7 최중민, '시맨틱 웹의 개요와 연구 동향,' 정보과학회지, Vol.21, No.03, pp. 4-10, 2003.03
8 Ian Horrocks, Optimizing Tableaux Decision Procedures for Description Logics, PhD thesis, University of Manchester, 1997