Feasibility Study Concerning the Use of Reasoning Technique in Semantic Reasoners

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.

[1]  Kanda Runapongsa Saikaew,et al.  A review and comparison of rule languages and rule-based inference engines for the Semantic Web , 2013, 2013 International Computer Science and Engineering Conference (ICSEC).

[2]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[3]  Kurt Maly,et al.  Comparison of ontology reasoning systems using custom rules , 2011, WIMS '11.

[4]  Harry Chen,et al.  F-OWL: An Inference Engine for Semantic Web , 2004, FAABS.

[5]  Sanath Sukumaran,et al.  Proposal Submission System - A Content Management System Approach for Proposal Submission , 2011 .

[6]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[7]  Boris Motik,et al.  HermiT: A Highly-Efficient OWL Reasoner , 2008, OWLED.

[8]  Georgios Meditskos,et al.  DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet , 2010, J. Web Semant..

[9]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[10]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[11]  Jingde Cheng,et al.  FreeEnCal: A Forward Reasoning Engine with General-Purpose , 2007, KES.

[12]  Boris Motik,et al.  Repairing Ontologies for Incomplete Reasoners , 2011, International Semantic Web Conference.

[13]  Amal Zouaq,et al.  Building Domain Ontologies from Text for Educational Purposes , 2007, IEEE Transactions on Learning Technologies.

[14]  Werner Nutt,et al.  Combining Production Systems and Ontologies , 2011, RR.

[15]  Sunitha Abburu,et al.  A Survey on Ontology Reasoners and Comparison , 2012 .

[16]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[17]  John F. Sowa,et al.  Future Directions for Semantic Systems , 2011 .

[18]  Nicolette de Keizer,et al.  Comparison of reasoners for large ontologies in the OWL 2 EL profile , 2011, Semantic Web.