Browse > Article

Methods to Reduce Execution Time of Ontology Reasoners based on Tableaux Algorithm  

Kim, Je-Min (숭실대학교 컴퓨터학과)
Park, Young-Tack (숭실대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.36, no.2, 2009 , pp. 153-160 More about this Journal
Abstract
As size of ontology has been increased more and more, the descriptions in the ontologies become more complicated, Therefore finding and modifying unsatisfiable concepts is hard work in ontology construction process, Minerva is an ontology reasoner which detects unsatisfiable concepts automatically and infers subsumption relation between concepts in ontology, Most description logic based ontology reasoners (including Minerva) work using tableaux algorithm, Because tableaux algorithm is very costly, ontology reasoners need various optimization methods, In this paper, we propose optimizing methods to reduce execution time of tableaux algorithm based ontology reasoner. Proposed methods were applied to Minerva which was developed as preceding study result. In consequence the new version Minerva shows high performance.
Keywords
Ontology; Tableaux Algorithm; Ontology Reasoner; Optimized Method;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 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), August, 2004, Valencia, Spain, pp. 353-357
2 Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jurgen Profitlich, An Empirical Analysis of Optimization Techniques for Terminological Representation System, Principles of Knowledge Representation and reasoning -Proceedings of the 3th International Conference, October 1992, Cambridge, MA
3 Min-su Jang, Joo-chan Sohn, Bossam: an extended rule engine for OWL Inferencing, Proceddings of RuleML 2004(LNCS Vol.3323), Nov. 8, 2004
4 김제민, 권순현, 박영택, '태블로 알고리즘 기반 온톨로지 추론 엔진', 정보과학회 KCC 2008   과학기술학회마을
5 권순현, 김제민, 박영택, '온톨로지 포함관계 추론을 위한 최적화된 검색방법', 정보과학회 KCC 2008   과학기술학회마을
6 Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur and Yarden Katz. Pellet: A practical OWL-DL reasoner, Journal of Web Semantics, 5(2), 2007   DOI   ScienceOn
7 Dmitry Tsarkov and Ian Horrocks, FaCT++ description logic reasoner: System description, In Proc. of the Int. Joint Conf. on Automated Reasoning, IJCAR, 2006
8 V. Haarslev and R. Möller. Racer: A Core Inference Engine for the Semantic Web. In Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools(EON2003), located at the 2nd International Semantic Web Conference ISWC 2003, Sanibel Island, Florida, USA, October 20, pages 27-36, 2003
9 F. Baader andW. Nutt. Basic description logics. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 43-. 95. Cambridge University Press, 2003