Browse > Article

Solving Non-deterministic Problem of Ontology Reasoning and Identifying Causes of Inconsistent Ontology using Negated Assumption-based Truth Maintenance System  

Kim, Je-Min (숭실대학교 컴퓨터과학과)
Park, Young-Tack (숭실대학교 컴퓨터과학과)
Publication Information
Journal of KIISE:Software and Applications / v.36, no.5, 2009 , pp. 401-410 More about this Journal
Abstract
In order to derive hidden information (concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. The most of these ontology reasoners were implemented using the tableau algorithm. However most reasoners simply report this information without providing a justification for any arbitrary entailment and unsatisfiable concept derived from OWL ontologies. The purpose of this paper is to investigate an optimized method for non-deterministic rule of the tableau algorithm and finding axioms to cause inconsistency in ontology. In this paper, therefore, we propose an optimized method for non-deterministic rule and finding axiom to cause inconsistency using NATMS. In the first place, we introduce Dependency Directed Backtracking to deal non-deterministic rule, a tableau-based decision procedure to find unsatisfiable axiom Furthermore we propose an improved method adapting NATMS.
Keywords
Ontology; Ontology Reasoner; Optimized Method; Dependancy Directed Backtracking; Assumption based Truth Maintenance System;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Johan de Kleer, Problem solving with the ATMS, Artificial Intelligence 28, pp. 163-196, 1986   DOI   ScienceOn
2 Johan de Kleer, A General Labeling Algorithm for Assumption based Truth Maintenance, Proceedings of the AAAI-88, 1988
3 Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau and Evren Sirin, Justifications for Entailments in Expressive Description Logics, Technical report, 2006
4 U. Hustadt, B. Motik U. Sattler, Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution, Proc. of the 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, pp. 353-357, August, 2004
5 Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur and Yarden Katz, Pellet: A practical OWL-DL reasoner, Journal of Web Semantics, 2007   DOI   ScienceOn
6 F. Baader and W. Nutt, The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43-95. Cambridge University Press, 2003
7 Schlobach, S. and Cornet, R., Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies, Proceedings of IJCAI, 2003
8 Dmitry Tsarkov and Ian Horrocks, FaCT++ description logic reasoner: System description, In Proc. of the Int. Joint Conf. on Automated Reasoning, IJCAR, 2006
9 McGuinness, D. and Borgida, A., Explaining Subsumption in Description Logics, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 816-821, 1995
10 Kenneth D. Forbus, Johan de Kleer, Building Problem Solvers, The MIT Press, 1993
11 M. Dean and G. Schreiber, OWL Web Ontology Language Reference W3C Recommendation, http://www.w3.org/tr/owl-ref/. February 2004
12 Debugging OWL Ontologies using Swoop, http://www. mindswap.org/2005/debugging/, 2005