Skip to main content
SpringerLink
Log in

Scalable Ontology Reasoning Services

  • Chapter
  • First Online:
Ontology-Driven Software Development

  • 1593 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Y. Guo, Z. Pan, and J. Heflin, LUBM: A benchmark for OWL knowledge base systems. Web Semant. Sci. Serv. Agents World Wide Web 3(2–3), 158–182 (2005)

    Article  Google Scholar 

  2. F. Baader, B. Suntisrivaraporn. Debugging SNOMED CT using axiom pinpointing in the description logic \({\mathcal{E}\mathcal{L}}^{+}\). in KR-MED’08, vol. 410, CEUR-WS, 2008

    Google Scholar 

  3. F. Baader, S. Brandt, C. Lutz, Pushing the \(\mathcal{E}\mathcal{L}\) envelope. in Proceedings of the 19th Joint International Conference on Artificial Intelligence (IJCAI 2005), 2005

    Google Scholar 

  4. F. Baader, C. Lutz, B. Suntisrivaraporn, Is tractable reasoning in extensions of the description logic EL useful in practice? in Proceedings of the 2005 International Workshop on Methods for Modalities (M4M-05), 2005

    Google Scholar 

  5. F. Baader, R. Peñaloza, B. Suntisrivaraporn, Pinpointing in the description logic \(\mathcal{E}\mathcal{L}\). in Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007

    Google Scholar 

  6. D. Calvanese, G.D. Giacomo, D. Lembo, M. Lenzerini, R. Rosati, DL-Lite: Tractable description logics for ontologies. in Proceedings of AAAI 2005, 2005

    Google Scholar 

  7. D. Calvanese, G.D. Giacomo, M. Lenzerini, R. Rosati, G. Vetere, DL-Lite: Practical reasoning for rich DLs. in Proceedings of the DL2004 Workshop, 2004

    Google Scholar 

  8. B.C. Grau, A possible simplification of the semantic web architecture. in Proceedings of the 13th International Conference on World Wide Web, WWW 2004, New York, NY, USA, May 17–20, 2004 (ACM, New York, 2004), pp. 704–713

    Google Scholar 

  9. P. Groot, H. Stuckenschmidt, H. Wache, Approximating description logic classification for semantic web reasoning. in Proceedings of ESWC2005, 2005

    Google Scholar 

  10. V. Haarslev, R. Moller, M. Wessel, Querying the semantic web with racer + nRQL. in Proceedings of the KI-04 Workshop on Applications of Description Logics, 2004

    Google Scholar 

  11. P. Hitzler, D. Vrandecic, Resolution-based approximate reasoning for OWL DL. in Proceedings of the 4th International Semantic Web Conference (ISWC2005), 2005

    Google Scholar 

  12. C. Hurtado, A. Poulovassilis, P. Wood, A relaxed approach to RDF querying. in Proceedings of the 5th International Semantic Web Conference (ISWC-2006), 2006

    Google Scholar 

  13. U. Hustadt, B. Motik, U. Sattler, Reducing \({\mathcal{S}\mathcal{H}\mathcal{I}\mathcal{Q}}^{-}\) description logic to disjunctive datalog programs. in Proceedings of KR2004, 2004, pp. 152–162

    Google Scholar 

  14. A. Kalyanpur, B. Parsia, M. Horridge, E. Sirin, Finding all justifications of OWL DL entailments. Lecture Notes Comput. Sci. 4825, 267 (2007)

    Article  Google Scholar 

  15. A. Kalyanpur, B. Parsia, E. Sirin, J. Hendler, Debugging unsatisfiable classes in OWL ontologies. Web Semant. Sci. Serv. Agents World Wide Web 3(4), 268–293 (2005)

    Article  Google Scholar 

  16. H. Knublauch, R. Fergerson, N. Noy, M. Musen. The Protégé OWL plugin: An open development environment for semantic web applications. In ISWC-2004, Lecture notes in computer science, 2004, Vol. 3298, pp. 229–243

    Google Scholar 

  17. J.Z. Pan, E. Thomas, Approximating OWL-DL ontologies, in AAAI-2007, 2007, pp. 1434–1439

    Google Scholar 

  18. R. Reiter, A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  19. Y. Ren, J.Z. Pan, Y. Zhao, Closed world reasoning for OWL2 with NBox. J. Tsinghua Sci. Tech. Vol. 15(6), December (2010) pp. 692–701

    Google Scholar 

  20. Y. Ren, J.Z. Pan, Y. Zhao, Soundness preserving approximation for TBox reasoning, in Proceedings of the 25th AAAI Conference Conference (AAAI2010), 2010

    Google Scholar 

  21. Y. Ren, J.Z. Pan, Y. Zhao, Towards soundness preserving approximation for abox reasoning of owl2, in Description Logics Workshop 2010 (DL2010), 2010

    Google Scholar 

  22. Y. Ren, J.Z. Pan, Y. Zhao, Abox syntactic approximation: A technical report. Technical report, University of Aberdeen, 2011. Http://www.abdn.ac.uk/~csc280/TR/aboxapprox.pdf

  23. Y. Ren, G. Gröner, J. Lemcke, T. Rahmani, A. Friesen, Y. Zhao, J.Z. Pan, S. Staab, Validating process refinement with ontologies, in Description Logics, ed. by B.C. Grau, I. Horrocks, B. Motik, U. Sattler. CEUR Workshop Proceedings, vol. 477. CEUR-WS.org, 2009

    Google Scholar 

  24. B. Selman, H. Kautz, Knowledge compilation and theory approximation. J. ACM 43(2), 193–224 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  25. I. Seylan, E. Franconi, J. De Bruijn, Effective query rewriting with ontologies over dboxes, in IJCAI’09: Proceedings of the 21st International Joint Conference on Artifical Intelligence (Morgan Kaufmann Publishers, San Francisco, CA, USA, 2009), pp. 923–929

    Google Scholar 

  26. E. Sirin, B. Parsia, B. Grau, A. Kalyanpur, Y. Katz, Pellet: A practical owl-dl reasoner. Web Semant. Sci. Serv. Agents World Wide Web 5(2), 51–53 (2007)

    Article  Google Scholar 

  27. H. Stuckenschmidt, F. van Harmelen, Approximating terminological queries, in Proceedings of FQAS2002, 2002, pp. 329–343

    Google Scholar 

  28. B. Suntisrivaraporn, Module extraction and incremental classification: a pragmatic aApproach for \({\mathcal{E}\mathcal{L}}^{+}\) ontologies, in Proceedings of the 5th European Semantic Web Conference (ESWC’08), ed. by S. Bechhofer, M. Hauswirth, J. Hoffmann, M. Koubarakis, Lecture Notes in Computer Science, vol. 5021 (Springer, Berlin, 2008), pp. 230–244

    Google Scholar 

  29. E. Thomas, J.Z. Pan, Y. Ren, TrOWL: Tractable OWL 2 reasoning infrastructure, in Proceedings of the Extended Semantic Web Conference (ESWC2010), 2010

    Google Scholar 

  30. H. Wache, P. Groot, H. Stuckenschmidt, Scalable instance retrieval for the semantic web by approximation, in Proceedings of WISE-2005 Workshop on Scalable Semantic Web Knowledge Base Systems, 2005

    Google Scholar 

  31. Y. Zhao, J.Z. Pan, Y. Ren, Implementing and evaluating a rule-based approach to querying regular el+ ontologies, in Proceedings of the International Conference on Hybrid Intelligent Systems (HIS2009), 2009

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Aberdeen, King’s College, Aberdeen, UK

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

Authors
  1. Edward Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuan Ren
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeff Z. Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yuting Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Nophadol Jekjantuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. , Department of Computing Science, University of Aberdeen, Aberdeen, AB243UE, United Kingdom

    Jeff Z. Pan

  2. Insitute for Computer Science, University of Koblenz-Landau, Universitaetsstr. 1, Koblenz, 56016, Germany

    Steffen Staab

  3. , Institute for Software-, Technical University of Dresden, Nöthnitzer Strasse 46, Dresden, 01069, Germany

    Uwe Aßmann

  4. , Institute for Software Technology, University of Koblenz-Landau, Universitätsstraße, Koblenz, 56070, Germany

    Jürgen Ebert

  5. , Department of Computing Science, University of Aberdeen, Aberdeen, AB243UE, United Kingdom

    Yuting Zhao

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

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

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31226-7_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31225-0

  • Online ISBN: 978-3-642-31226-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation