Feasibility study concerning the use of reasoning technique in semantic reasoners

Mary Ting, Abdul Kadir Rabiah, Tengku Mohd Tengku Sembok, Fatimah Ahmad, Azreen Azman

Research output: Contribution to journalArticle

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.

Original languageEnglish
Pages (from-to)371-381
Number of pages11
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8870
Publication statusPublished - 2014

Fingerprint

Ontology
Reasoning
Semantics
Inference engines
Knowledge based systems
Engine
Semantic Web
Inference Engine
Knowledge-based Systems
Requirements
Query

Keywords

  • Description logic
  • Reasoning algorithm
  • Reasoning technique
  • Rulebased reasoner
  • Tableau algorithm

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Feasibility study concerning the use of reasoning technique in semantic reasoners. / Ting, Mary; Rabiah, Abdul Kadir; Mohd Tengku Sembok, Tengku; Ahmad, Fatimah; Azman, Azreen.

In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8870, 2014, p. 371-381.

Research output: Contribution to journalArticle

@article{a70dc42949e44668a0613f10500ba47a,
title = "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.",
keywords = "Description logic, Reasoning algorithm, Reasoning technique, Rulebased reasoner, Tableau algorithm",
author = "Mary Ting and Rabiah, {Abdul Kadir} and {Mohd Tengku Sembok}, Tengku and Fatimah Ahmad and Azreen Azman",
year = "2014",
language = "English",
volume = "8870",
pages = "371--381",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Feasibility study concerning the use of reasoning technique in semantic reasoners

AU - Ting, Mary

AU - Rabiah, Abdul Kadir

AU - Mohd Tengku Sembok, Tengku

AU - Ahmad, Fatimah

AU - Azman, Azreen

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Description logic

KW - Reasoning algorithm

KW - Reasoning technique

KW - Rulebased reasoner

KW - Tableau algorithm

UR - http://www.scopus.com/inward/record.url?scp=84912119556&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84912119556&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84912119556

VL - 8870

SP - 371

EP - 381

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -