Scalable Ontology Reasoning Services

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

Research output: Chapter in Book/Report/Conference proceedingChapter


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
Number of pages22
ISBN (Electronic)9783642312267
ISBN (Print)9783642312250
Publication statusPublished - 1 Jan 2013


Dive into the research topics of 'Scalable Ontology Reasoning Services'. Together they form a unique fingerprint.

Cite this