Scalable Ontology Reasoning Services

Edward Thomas; Yuan Ren; Jeff Z. Pan; Yuting Zhao; Nophadol Jekjantuk

doi:10.1007/978-3-642-31226-7_5

Scalable Ontology Reasoning Services

Edward Thomas, Yuan Ren, Jeff Z. Pan, Yuting Zhao, Nophadol Jekjantuk

Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

This chapter presents scalable ontology reasoning technology, one of the enabling technologies for ODSD. For basic definitions about ontology and reasoning, we refer readers to Chap. 3. As to be illustrated in Chaps. 9 and 10, reasoning services will be required to perform consistency checking and to derive implicit knowledge from the ontologies. Given the large number and volume of models, their complexity and the diversities of required reasoning tasks, reasoning technologies must be scalable and efficient and support as much expressive power as possible to minimise user restrictions in modelling. Furthermore, software engineers are usually not ontology experts or logicians. In order to present reasoning results in a user-friendly manner, it is required to not only deliver the answers of queries but also provide explanations of such answers.

Original language	English
Title of host publication	Ontology-Driven Software Development
Editors	Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao
Place of Publication	Berlin
Publisher	Springer-Verlag
Pages	99-120
Number of pages	22
ISBN (Electronic)	9783642312267
ISBN (Print)	9783642312250
DOIs	https://doi.org/10.1007/978-3-642-31226-7_5
Publication status	Published - 1 Jan 2013

Access to Document

10.1007/978-3-642-31226-7_5Licence: Unspecified

Cite this

@inbook{28ea9b71e24d41179494e07f42aceff7,

title = "Scalable Ontology Reasoning Services",

abstract = "This chapter presents scalable ontology reasoning technology, one of the enabling technologies for ODSD. For basic definitions about ontology and reasoning, we refer readers to Chap. 3. As to be illustrated in Chaps. 9 and 10, reasoning services will be required to perform consistency checking and to derive implicit knowledge from the ontologies. Given the large number and volume of models, their complexity and the diversities of required reasoning tasks, reasoning technologies must be scalable and efficient and support as much expressive power as possible to minimise user restrictions in modelling. Furthermore, software engineers are usually not ontology experts or logicians. In order to present reasoning results in a user-friendly manner, it is required to not only deliver the answers of queries but also provide explanations of such answers.",

author = "Edward Thomas and Yuan Ren and Pan, {Jeff Z.} and Yuting Zhao and Nophadol Jekjantuk",

year = "2013",

month = jan,

day = "1",

doi = "10.1007/978-3-642-31226-7_5",

language = "English",

isbn = "9783642312250",

pages = "99--120",

editor = "Pan, {Jeff Z.} and Steffen Staab and Uwe A{\ss}mann and Ebert, {J{\"u}rgen } and Yuting Zhao",

booktitle = "Ontology-Driven Software Development",

publisher = "Springer-Verlag",

}

TY - CHAP

T1 - Scalable Ontology Reasoning Services

AU - Thomas, Edward

AU - Ren, Yuan

AU - Pan, Jeff Z.

AU - Zhao, Yuting

AU - Jekjantuk, Nophadol

PY - 2013/1/1

Y1 - 2013/1/1

N2 - This chapter presents scalable ontology reasoning technology, one of the enabling technologies for ODSD. For basic definitions about ontology and reasoning, we refer readers to Chap. 3. As to be illustrated in Chaps. 9 and 10, reasoning services will be required to perform consistency checking and to derive implicit knowledge from the ontologies. Given the large number and volume of models, their complexity and the diversities of required reasoning tasks, reasoning technologies must be scalable and efficient and support as much expressive power as possible to minimise user restrictions in modelling. Furthermore, software engineers are usually not ontology experts or logicians. In order to present reasoning results in a user-friendly manner, it is required to not only deliver the answers of queries but also provide explanations of such answers.

AB - This chapter presents scalable ontology reasoning technology, one of the enabling technologies for ODSD. For basic definitions about ontology and reasoning, we refer readers to Chap. 3. As to be illustrated in Chaps. 9 and 10, reasoning services will be required to perform consistency checking and to derive implicit knowledge from the ontologies. Given the large number and volume of models, their complexity and the diversities of required reasoning tasks, reasoning technologies must be scalable and efficient and support as much expressive power as possible to minimise user restrictions in modelling. Furthermore, software engineers are usually not ontology experts or logicians. In order to present reasoning results in a user-friendly manner, it is required to not only deliver the answers of queries but also provide explanations of such answers.

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

U2 - 10.1007/978-3-642-31226-7_5

DO - 10.1007/978-3-642-31226-7_5

M3 - Chapter

AN - SCOPUS:84956551949

SN - 9783642312250

SP - 99

EP - 120

BT - Ontology-Driven Software Development

A2 - Pan, Jeff Z.

A2 - Staab, Steffen

A2 - Aßmann, Uwe

A2 - Ebert, Jürgen

A2 - Zhao, Yuting

PB - Springer-Verlag

CY - Berlin

ER -

Scalable Ontology Reasoning Services

Abstract

Access to Document

Other files and links

Fingerprint

Cite this