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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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
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-0
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), 2005
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
I. Horrocks, P. Patel-Schneider, Reducing OWL entailment to description logic satisfiability. J. Web Semant. 1(4), 345–357 (2004). ISSN 1570-8268.
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–67
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
D.L. McGuinness, F. van Harmelen, Owl web ontology language overview. W3C Working Draft, 10 February 2004
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/
K. Nørmark, Elucidative programming. Nord. J. Comput. 7(2):87–105 (2000)
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/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Zhao, Y., Pan, J.Z., Thomas, E., Jekjantuk, N., Ren, Y. (2013). Ontology Languages and Description Logics. 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-31226-7_3
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)