Scalable Ontology Reasoning Services

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

Research output: Chapter in Book/Report/Conference proceedingChapter

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 languageEnglish
Title of host publicationOntology-Driven Software Development
EditorsJeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao
Place of PublicationBerlin
PublisherSpringer-Verlag
Pages99-120
Number of pages22
ISBN (Electronic)9783642312267
ISBN (Print)9783642312250
DOIs
Publication statusPublished - 1 Jan 2013

Fingerprint

Ontology
Engineers
Computer simulation

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Thomas, E., Ren, Y., Pan, J. Z., Zhao, Y., & Jekjantuk, N. (2013). Scalable Ontology Reasoning Services. In J. Z. Pan, S. Staab, U. Aßmann, J. Ebert, & Y. Zhao (Eds.), Ontology-Driven Software Development (pp. 99-120). [5] Berlin: Springer-Verlag. https://doi.org/10.1007/978-3-642-31226-7_5

Scalable Ontology Reasoning Services. / Thomas, Edward; Ren, Yuan; Pan, Jeff Z.; Zhao, Yuting; Jekjantuk, Nophadol.

Ontology-Driven Software Development. ed. / Jeff Z. Pan; Steffen Staab; Uwe Aßmann; Jürgen Ebert; Yuting Zhao. Berlin : Springer-Verlag, 2013. p. 99-120 5.

Research output: Chapter in Book/Report/Conference proceedingChapter

Thomas, E, Ren, Y, Pan, JZ, Zhao, Y & Jekjantuk, N 2013, Scalable Ontology Reasoning Services. in JZ Pan, S Staab, U Aßmann, J Ebert & Y Zhao (eds), Ontology-Driven Software Development., 5, Springer-Verlag, Berlin, pp. 99-120. https://doi.org/10.1007/978-3-642-31226-7_5
Thomas E, Ren Y, Pan JZ, Zhao Y, Jekjantuk N. Scalable Ontology Reasoning Services. In Pan JZ, Staab S, Aßmann U, Ebert J, Zhao Y, editors, Ontology-Driven Software Development. Berlin: Springer-Verlag. 2013. p. 99-120. 5 https://doi.org/10.1007/978-3-642-31226-7_5
Thomas, Edward ; Ren, Yuan ; Pan, Jeff Z. ; Zhao, Yuting ; Jekjantuk, Nophadol. / Scalable Ontology Reasoning Services. Ontology-Driven Software Development. editor / Jeff Z. Pan ; Steffen Staab ; Uwe Aßmann ; Jürgen Ebert ; Yuting Zhao. Berlin : Springer-Verlag, 2013. pp. 99-120
@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 = "1",
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

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 -