CFP last date
20 May 2024
Reseach Article

A Survey on Ontology Reasoners and Comparison

by Sunitha Abburu
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 57 - Number 17
Year of Publication: 2012
Authors: Sunitha Abburu

Sunitha Abburu . A Survey on Ontology Reasoners and Comparison. International Journal of Computer Applications. 57, 17 ( November 2012), 33-39. DOI=10.5120/9208-3748

@article{ 10.5120/9208-3748,
author = { Sunitha Abburu },
title = { A Survey on Ontology Reasoners and Comparison },
journal = { International Journal of Computer Applications },
issue_date = { November 2012 },
volume = { 57 },
number = { 17 },
month = { November },
year = { 2012 },
issn = { 0975-8887 },
pages = { 33-39 },
numpages = {9},
url = { },
doi = { 10.5120/9208-3748 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
%0 Journal Article
%1 2024-02-06T21:00:44.398172+05:30
%A Sunitha Abburu
%T A Survey on Ontology Reasoners and Comparison
%J International Journal of Computer Applications
%@ 0975-8887
%V 57
%N 17
%P 33-39
%D 2012
%I Foundation of Computer Science (FCS), NY, USA

Reasoner is a software that is used to derive new facts from the existing ontologies. Some of the popular reasoners developed in the last few years are: Pellet, RACER, FACT++, Snorocket, Hermit, CEL, ELK, SWRL-IQ, TrOWL and others. This survey describes the reasoners that can be used as plug-in for either protégé or NeOn toolkit since these are most widely used ontology development tools. The current study describes the reasoners with their important features such as soundness, completeness, reasoning method, incremental classification etc. Finally this paper presents comparison of the reasoners with respect to their features.

  1. Fonseca, F. Egenhofer M. , Agouris, P. , Camara G, "Using Ontologies for Integrated Geographic Information Systems". Transactions in GIS, ? (6):3 in print, 2002.
  2. http://www. w3. org/TR/owl2-primer/.
  3. Motik, B. , Grau, B. C. , Horrocks, I. , Wu, Z. , Lutz, C. (eds. ), " OWL 2 web ontology language profiles", W3C Recommendation (Oct 2009).
  4. http://www. w3. org/TR/owl2-profiles/.
  5. Kathrin Dentler, Ronald Cornet, Annette ten Teije and Nicolette de Keizer, "Comparison of Reasoners for Large Ontologies in the OWL 2 EL Profile", Semantic Web Journal, 2011, pp. 1-5.
  6. Parsia B, Sirin E, "Pellet: An OWL DL Reasoner", MINDSWAP Research Group, Supporting Reasoners and Softwares, 2003.
  7. Haarslev V, Moller R, "Consistence Testing: the RACE Experience", In: Dyckhoff R (ed) Proceedings, automated reasoning with analytic tableaux and related methods. Lect Notes Artif Intell 1847:57–61, 2000.
  8. Horrocks I, "The FaCT System", http://www. cs. man. ac. uk/~horrocks/FaCT/, website last updated on April, 2003.
  9. M. J. Lawley, C. Bousquet, "Fast Classification in Protégé: Snorocket as an OWL 2 EL Reasoner", Australasian Ontology Workshop 2010 (AOW 2010): Advances in Ontologies, volume 122 of CRPIT,2010, pp. 45–50.
  10. Glimm B,Horrocks I,Motik B, StoilosG, "HermiT: Reasoning with Large Ontologies", http://www. comlab. ox. ac. uk/projects/HermiT/index. html, Computing Laboratory, Oxford University, 2009.
  11. Baader F, Lutz C, Suntisrivaraporn B, "Efficient reasoning in ELˆ+", In Proceedings of the 2006 international workshop on description logics (DL2006), CEUR-WS, 2006.
  12. Yevgeny Kazakov, Markus Krötzsch, František Siman?ík, "ELK Reasoner: Architecture and Evaluation", In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012). CEUR Workshop Proceedings 2012.
  13. Daniel Elenius, Susanne Riehemann, "SWRL-IQ User Manual", January 16, 2012 Version 1. 0.
  14. E. Thomas, J. Pan, and Y. Ren. TrOWL: Tractable OWL 2 Reasoning Infrastructure. In Proceedings of the Extended Semantic Web Conference. Springer, 2010.
  15. Zhu ChuangLu, "Research on the Semantic Web Reasoning Technology", in proceedings of 2012 AASRI Conference on Computational Intelligence and Bioinformatics, Elsevier, 2012, pp. 87-91 ; doi: 10. 1016/j. aasri. 2012. 06. 016.
  16. Baader F, Nutt W, "Basic Description Logics", in: F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (Eds. ), The Description Logic.
  17. Schauss MS, Smolka G, "Attribute Concept Descriptions with Complements", Artif Intell 1991;48:1–26.
  18. Grigoris Antonion and Frank Van Harmelen, "Web Ontology Languages", Handbook on Ontologies, Second Edition, Springer, 2009, pp. 91-110.
  19. Bo Liu, Jianqiang Li, Yu Zhao, "Repairing and Reasoning with Inconsistent and Uncertain Ontologies", Elsevier, 2011, pp. 380-390; doi:10. 1016/j. advengsoft. 2011. 10. 015.
  20. F. Baader and W. Nutt, "Basic Description Logics", THE DESCRIPTION LOGIC HANDBOOK Theory, implementation, and applications, Cambridge University Press, 2003, pp. 41-95.
  21. Horrocks, I. , Sattler, U, "A tableaux decision procedure for SHOIQ", In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, pp. 448–453 (2005).
  22. S. Rudolph, T. Tserendorj, and P. Hitzler. "What Is Approximate Reasoning? Web Reasoning and Rule Systems", Springer, 2009, pp. 150–164.
  23. M. Horridge and S. Bechhofer, "The OWL API: A Java API for Working with OWL 2 Ontologies", In 6th OWL Experienced and Directions Workshop, 2009.
  24. T. Liebig, M. Luther, O. Noppens, M. Rodriguez, D. Calvanese, M. Wessel, R. Möller, M. Horridge, S. Bechhofer, D. Tsarkov, and Others. OWLlink: DIG for OWL 2. In 5th OWL Experienced and Directions Workshop, 2008.
  25. Introduction to Semantic Web", available at http://www. mphasis. com/knowledge-center/white-papers-all. asp .
  26. Atanas Kiryakov, mariana Damova, "Reasoning in the Semantic Repositories", Handbook of Semantic Web Technologies, Springer, 2011, pp. 245-258.
  27. Mishra R B, Sandeep Kumar, "Semantic Web Reasoners and Languages", Springer, 2010; DOI 10. 1007/s10462-010-9197-3 .
  28. E. Sirin, B. Parsia, B. Grau, a. Kalyanpur, and Y. Katz, "Pellet: A practical OWL-DL Reasoner". Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):51–53, June 2007.
  29. Volker Haarslev, Kay Hidde, Ralf Moller, and Michael Wessel, " The RacerPro Knowledge Representation and Reasoning Systems", Semantic Web Journal, IOS Press, 2011, available at:www. franz. com/agraph/cresources/white_papers.
  30. Sattler U, "Description Logic Reasoners", http://www. cs. man. ac. uk/~sattler/reasoners. html, website accessed on Feb 19, 2007.
  31. http://research. ict. csiro. au/software/snorocket.
  32. https://www. onistt. org/display/SWRLIQ/SWRL-IQ.
  33. Yevgeny Kazakov, Markus Krötzsch, František Siman?ík, "ELK: A Reasoner for OWL EL Ontologies", System Description 2012.
  34. http://www. cs. ox. ac. uk/isg/tools/ELK/.
  35. http://protegewiki. stanford. edu/wiki/Protege_Plugin_Library.
Index Terms

Computer Science
Information Sciences


Description Logic Ontology Reasoners Reasoner Attributes Protégé NeOn toolkit