Abstract
Inference engine plays an important role in knowledge-based system, where it is used to perform reasoning when queries are entered. There is a need to incorporate a semantic reasoner in the engine, in order for it to perform reasoning. With the growth of Semantic Web and increasing number of ontology implemented recently, several semantic reasoner have been design and implemented to cater the need of the current ontology-based systems. Since there are various numbers of available semantic reasoners in the market for general knowledge-based system or ontology-based system, developers are required to choose an appropriate reasoner that met the system requirements when developing the engine. This paper will review six different ontology reasoners, which have been widely applied previously in ontology based system. By studying the strength and weaknesses of the techniques and algorithms implemented, developer able to select an appropriate reasoner that will work efficiently according to system requirements.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Sowa, J.F.: Future Directions For Semantic System. In: Tolk, A., Jain, L.C. (eds.) Intelligence-Based Systems Engineering. ISRL, vol. 10, pp. 23–47. Springer, Heidelberg (2011)
Zou, Y., Finin, T.W., Chen, H.: F-Owl: An Inference Engine For The Semantic Web 1. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 238–248. Springer, Heidelberg (2004)
Cheng, J., Nara, S., Goto, Y.: Freeencal: A Forward Reasoning Engine With General-Purpose. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 444–452. Springer, Heidelberg (2007)
Knowledge Representation Technologies in The Semantic Web, http://stexx.files.wordpress.com/2010/07/termpaper.pdf
Rif Rdf and Owl Compatibility, http://www.w3.org/TR/rif-rdf-owl/
Dalwadi, N., Nagar, B., Makwana, A.: Semantic Web And Comparative Analysis of Inference Engines. Int. J. of Computer Science and Information Technologies 3(3), 3843–3847 (2012)
Rezk, M., Nutt, W.: Combining Production Systems and Ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 287–293. Springer, Heidelberg (2011)
Meditskos And, G., Bassiliades, N.: Dlejena: A Practical Forward-Chaining Owl 2 Rl Reasoner Combining Jena and Pellet. Web Semant. Sci. Serv. Agents World Wide Web 8(1), 89–94 (2010)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical Owl-Dl Reasoner. Web Semant. Sci. Serv. Agents World Wide Web 5(2), 51–53 (2007)
Motik, B.: Hypertableau Reasoning For Description Logics. J. of Artificial Intelligence Research 36, 165–227 (2009)
Hermit: A Highly-Efficient Owl Reasoner, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-432/owled2008eu_submission_12.pdf
Introduction to the Rete Algorithm Applies To, http://www.sdn.sap.com/irj/scn/go/portal/prtroot/docs/library/uuid/10dea1d3-fbef-2d10-0e89-a7447f95bc0e?QuickLink=index&overridelayout=true&49868865442396
Rattanasawad, T., Saikaew, K.R., Buranarach, M., Supnithi, T.: A Review and Comparison of Rule Languages and Rule-Based Inference Engines for the Semantic Web. In: International Computer Science and Engineering Conference, pp. 1–6. IEEE Press, New York (2013)
Apache Jena - Reasoners and Rule Engines: Jena Inference Support, http://Jena.Apache.Org/Documentation/Inference/
Sirin, E., Parsia, B., Cuenca, B., Grau, K.A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. J. Web Semantics 5(2), 51–53 (2007)
Haase, P., Ji, Q., Volz, R.: Benchmarking Owl Reasoners. In: Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (2008)
Shi, H., Maly, K., Zeil, S., Zubair, M.: Comparison Of Ontology Reasoning Systems Using Custom Rules. In: International Conference on Web Intelligent, Mining and Semantics, p. 1. ACM, New York (2011)
Haarslev, V., Möller, R.: Racer System Description. In: Goré, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)
Zouaq, A., Nkambou, R.: Building Domain Ontologies From Text For Educational Purposes. IEEE Transaction on Learning Technologies, 49–62 (2008)
Abburu, S.: A Survey on Ontology Reasoners and Comparison. Int. J. of Computer Applications. 57(17), 33–39 (2012)
Tsarkov, D., Horrocks, I.: Fact ++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)
Glimm, B., Horrocks, I., Giorgos, M., Zhe, S.: Hermit: An Owl 2 Reasoner. J. of Automated Reasoning 1, 1–25 (2014)
Cuenca, B.: Comparison Of Reasoners for Large Ontologies in The Owl 2 El Profile. J. Semantic Web. 2(2), 1–5 (2011)
Stoilos, G., Cuenca Grau, B., Motik, B., Horrocks, I.: Repairing Ontologies For Incomplete Reasoners. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 681–696. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Ting, M., Abdul Kadir, R., Tengku Sembok, T.M., Ahmad, F., Azman, A. (2014). Feasibility Study Concerning the Use of Reasoning Technique in Semantic Reasoners. In: Jaafar, A., et al. Information Retrieval Technology. AIRS 2014. Lecture Notes in Computer Science, vol 8870. Springer, Cham. https://doi.org/10.1007/978-3-319-12844-3_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-12844-3_32
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12843-6
Online ISBN: 978-3-319-12844-3
eBook Packages: Computer ScienceComputer Science (R0)