Feasibility study concerning the use of reasoning technique in semantic reasoners

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 needto incorporate a semantic reasoner in the engine, in order for it to perform reasoning.With the growth of Semantic Web and increasing number of ontologyimplemented recently, several semantic reasoner have been design and implementedto cater the need of the current ontology-based systems. Since there arevarious numbers of available semantic reasoners in the market for generalknowledge-based system or ontology-based system, developers are required tochoose an appropriate reasoner that met the system requirements when developingthe engine. This paper will review six different ontology reasoners, whichhave been widely applied previously in ontology based system. By studyingthe strength and weaknesses of the techniques and algorithms implemented, developerable to select an appropriate reasoner that will work efficiently accordingto system requirements.