Advertisement

Ontology Languages and Description Logics

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

Abstract

Ontology-driven software technology is expected to improve MDSD with better facilities for modelling, better understanding of relationships between artefacts and better handling of complexity, via ontology-based knowledge representation (KR) techniques and reasoning techniques. The term ontology originates from philosophy, where it refers to a unique description of the universe or ’things that are’. In modern information technology, especially in the Semantic Web, an ontology is a model of (some aspects of) the world, which introduces key vocabulary (such as concepts and relations) of a target domain and their meanings. This chapter introduces the standard ontology language family web ontology language (OWL) and its underpinnings—description logics. In this chapter, we first introduce description logics (DL) [11] and some simple DL languages in Sect. 3.1. Then in Sect. 3.2 we present the web ontology language (OWL) family, which is endorsed by the world wide web consortium (W3C). We pay special attention to OWL 2 profiles, which are tractable sub-languages in the OWL family. They play an important role in scalable reasoning services (cf. Chap. 5). Section 3.3 concludes this chapter.

Keywords

Turing Machine Description Logic Abstract Syntax Reasoning Task Conjunctive Query 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 10.
    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), 2005Google Scholar
  2. 11.
    F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation, and Applications (Cambridge University Press, Cambridge, 2003). ISBN 0-521-78176-0zbMATHGoogle Scholar
  3. 41.
    D. Calvanese, G. de Giacomo, D. Lembo, M. Lenzerini, R. Rosati, Tailoring owl for data intensive ontologies. in Proceedings of the 1st OWL: Experiences and Directions Workshop (OWL-ED 2005), 2005Google Scholar
  4. 78.
    B.C. Grau, B. Motik, Z. Wu, A. Fokoue, C. Lutz, Owl 2 web ontology language tractable fragments. W3C Working Draft, 11 April 2008. Available at http://www.w3.org/2007/OWL/wiki/Tractable_Fragments. Accessed 14 June 2008
  5. 98.
    I. Horrocks, P. Patel-Schneider, Reducing OWL entailment to description logic satisfiability. J. Web Semant. 1(4), 345–357 (2004). ISSN 1570-8268.Google Scholar
  6. 99.
    I. Horrocks, O. Kutz, U. Sattler, The even more irresistible sroiq. in Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) (AAAI Press, USA, 2006), pp. 57–67Google Scholar
  7. 120.
    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–243Google Scholar
  8. 129.
    D.L. McGuinness, F. van Harmelen, Owl web ontology language overview. W3C Working Draft, 10 February 2004Google Scholar
  9. 139.
    B. Motik, B.C. Grau, I. Horrocks, Z. Wu, A. Fokoue, C. Lutz, Owl 2 web ontology language profiles. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-profiles/
  10. 143.
    K. Nørmark, Elucidative programming. Nord. J. Comput. 7(2):87–105 (2000)Google Scholar
  11. 167.
    E. Prud’hommeaux, A. Seaborne, SPARQL Query Language for RDF, W3C Recommendation, 15 January 2008. http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Yuting Zhao
    • 1
  • Jeff Z. Pan
    • 1
  • Edward Thomas
    • 1
  • Nophadol Jekjantuk
    • 1
  • Yuan Ren
    • 1
  1. 1.University of Aberdeen, King’s CollegeAberdeenUK

Personalised recommendations