Skip to main content
SpringerLink
Log in

Foundations of Description Logics

  • Chapter
Reasoning Web. Semantic Technologies for the Web of Data (Reasoning Web 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6848))

Included in the following conference series:

Abstract

This chapter accompanies the foundational lecture on Description Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. It introduces basic notions and facts about this family of logics which has significantly gained in importance over the recent years as these logics constitute the formal basis for today’s most expressive ontology languages, the OWL (Web Ontology Language) family.

We start out from some general remarks and examples demonstrating the modeling capabilities of description logics as well as their relation to first-order predicate logic. Then we begin our formal treatment by introducing the syntax of DL knowledge bases which comes in three parts: RBox, TBox and ABox. Thereafter, we provide the corresponding standard model-theoretic semantics and give a glimpse of the alternative way of defining the semantics via an embedding into first-order logic with equality.

We continue with an overview of the naming conventions for DLs before we delve into considerations about different notions of semantic alikeness (concept and knowledge base equivalence as well as emulation). These are crucial for investigating the expressivity of DLs and performing normalization. We move on by reviewing knowledge representation capabilities brought about by different DL features and their combinations as well as some model-theoretic properties associated thereto.

Subsequently, we consider typical reasoning tasks occurring in the context of DL knowledge bases. We show how some of these tasks can be reduced to each other, and have a look at different algorithmic approaches to realize automated reasoning in DLs.

Finally, we establish connections between DLs and OWL. We show how DL knowledge bases can be expressed in OWL and, conversely, how OWL modeling features can be translated into DLs.

In our considerations, we focus on the description logic \(\mathcal{SROIQ}\) which underlies the most recent and most expressive yet decidable version of OWL called OWL 2 DL. We concentrate on the logical aspects and omit data types as well as extralogical features from our treatise. Examples and exercises are provided throughout the chapter.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andréka, H., van Benthem, J.F.A.K., Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27(3), 217–274 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)

    MATH  Google Scholar 

  3. Beckett, D., Berners-Lee, T.: Turtle – Terse RDF Triple Language. W3C Team Submission (January 14, 2008), http://www.w3.org/TeamSubmission/turtle/

  4. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. In: Scientific American, pp. 96–101 (May 2001)

    Google Scholar 

  5. Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (eds.): Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3. Elsevier Science, Amsterdam (2006)

    Google Scholar 

  6. Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82(1–2), 353–367 (1996)

    Article  MathSciNet  Google Scholar 

  7. Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Brachman, R.J. (ed.) Proceedings of the 4th National Conference on Artificial Intelligence (AAAI 1984), pp. 34–37. AAAI Press, Menlo Park (1984)

    Google Scholar 

  8. Calvanese, D., Eiter, T., Ortiz, M.: Regular path queries in expressive description logics with nominals. In: Boutilier, C. (ed.) Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009), pp. 714–720 (2009)

    Google Scholar 

  9. Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Hopcroft, J.E., Friedman, E.P., Harrison, M.A. (eds.) Proceedings of the 9th Annual ACM Symposium on Theory of Computing (STOC 1977), pp. 77–90. ACM Press, New York (1977)

    Google Scholar 

  10. Chang, C.C., Jerome Keisler, H.: Model Theory, 3rd edn. Studies in Logic and the Foundations of Mathematics, vol. 73. North Holland, Amsterdam (1990)

    Google Scholar 

  11. Ebbinghaus, H.-D., Flum, J., Thomas, W.: Mathematical Logic. Springer, Heidelberg (1996)

    MATH  Google Scholar 

  12. Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)

    Book  MATH  Google Scholar 

  13. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  14. Glimm, B., Horrocks, I., Sattler, U.: Deciding \(\mathcal{SHOQ}^\cap\) knowledge base consistency using alternating automata. In: Baader, F., Lutz, C., Motik, B. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 353 (2008), CEUR-WS.org

  15. Glimm, B., Horrocks, I., Sattler, U.: Unions of conjunctive queries in \(\mathcal{SHOQ}\). In: Brewka, G., Lang, J. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 252–262. AAAI Press, Menlo Park (2008)

    Google Scholar 

  16. Glimm, B., Lutz, C., Horrocks, I., Sattler, U.: Answering conjunctive queries in the SHIQ description logic. Journal of Artificial Intelligence Research 31, 150–197 (2008)

    MATH  Google Scholar 

  17. Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: Experience and perspectives. Journal of Web Semantics 4(3) (2006)

    Google Scholar 

  18. Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  19. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation (2009), http://www.w3.org/TR/owl2-primer/

  20. Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)

    Google Scholar 

  21. Horridge, M., Parsia, B., Sattler, U.: Laconic and Precise Justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323–338. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  22. Horrocks, I., Sattler, U.: A tableau decision procedure for \(\mathcal{SHOIQ}\). Journal of Automated Reasoning 39(3), 249–276 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  23. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57–67. AAAI Press, Menlo Park (2006)

    Google Scholar 

  24. Kazakov, Y., Motik, B.: A resolution-based decision procedure for \(\mathcal{SHOIQ}\). Journal of Automated Reasoning 40(2-3), 89–116 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  25. Kazakov, Y.: \(\mathcal{RIQ}\) and \(\mathcal{SROIQ}\) are harder than \(\mathcal{SHOIQ}\). In: Brewka, G., Lang, J. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 274–284. AAAI Press, Menlo Park (2008)

    Google Scholar 

  26. Kazakov, Y.: Consequence-driven reasoning for horn \(\mathcal{SHIQ}\) ontologies. In: Boutilier, C. (ed.) Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009), pp. 2040–2045 (2009)

    Google Scholar 

  27. Krötzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 80–84. IOS Press, Amsterdam (2008)

    Google Scholar 

  28. Lehmann, J.: Dl-learner: Learning concepts in description logics. Journal of Machine Learning Research 10, 2639–2642 (2009)

    MathSciNet  MATH  Google Scholar 

  29. Lloyd, J.W., Topor, R.W.: Making prolog more expressive. Journal of Logic Programming 1(3), 225–240 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  30. Lutz, C.: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179–193. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  31. Manola, F., Miller, E. (eds.): Resource Description Framework (RDF): Primer. W3C Recommendation (2004), http://www.w3.org/TR/rdf-primer/

  32. Minsky, M.: A framework for representing knowledge. Artificial intelligence memo, A.I. Laboratory. Massachusetts Institute of Technology, Cambridge (1974)

    Google Scholar 

  33. Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 227–241. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  34. Motik, B., Patel-Schneider, P.F., Grau, B.C. (eds.): OWL 2 Web Ontology Language: Direct Semantics. W3C Recommendation (2009), http://www.w3.org/TR/owl2-direct-semantics/

  35. Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.): OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Recommendation (2009), http://www.w3.org/TR/owl2-syntax/

  36. Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. Journal of Artificial Intelligence Research (JAIR) 36, 165–228 (2009)

    MathSciNet  MATH  Google Scholar 

  37. Di Noia, T., Di Sciascio, E., Donini, F.M.: A tableaux-based calculus for abduction in expressive description logics: Preliminary results. In: Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 477 (2009), CEUR-WS.org

  38. W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (2009) http://www.w3.org/TR/owl2-overview/

  39. Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)

    MATH  Google Scholar 

  40. Patel-Schneider, P.F., Motik, B. (eds.): OWL 2 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation (2009), http://www.w3.org/TR/owl2-mapping-to-rdf/

  41. Pratt-Hartmann, I.: Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language and Information 14, 369–395 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  42. Ross Quillian, M.: Semantic memory. In: Minsky, M. (ed.) Semantic Information Processing, ch. 4, pp. 227–270. MIT Press, Cambridge (1968)

    Google Scholar 

  43. Rudolph, S., Glimm, B.: Nominals, inverses, counting, and conjunctive queries or: Why infinity is your friend! Journal of Artificial Intelligence Research (JAIR) 39, 429–481 (2010)

    MathSciNet  MATH  Google Scholar 

  44. Rudolph, S., Krötzsch, M., Hitzler, P.: All elephants are bigger than all mice. In: Baader, F., Lutz, C., Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL 2008). CEUR Workshop Proceedings, vol. 353 (2008), CEUR-WS.org

  45. Rudolph, S., Krötzsch, M., Hitzler, P.: Terminological reasoning in SHIQ with ordered binary decision diagrams. In: Pro- ceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pp. 529–534. AAAI Press, Menlo Park (2008)

    Google Scholar 

  46. Rudolph, S.: Exploring relational structures via FLE. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 196–212. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  47. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Englewood Cliffs (2003)

    MATH  Google Scholar 

  48. Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 466–471. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  49. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Journal of Artificial Intelligence 48, 1–26 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  50. Schöning, U.: Logic for Computer Scientists. Birkhäuser, Basel (2008)

    Book  MATH  Google Scholar 

  51. Shearer, R., Horrocks, I.: Exploiting Partial Information in Taxonomy Construction. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 569–584. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  52. Sidhu, A., Dillon, T., Chang, E., Sidhu, B.S.: Protein ontology development using OWL. In: Proceedings of the 1st OWL Experiences and Directions Workshop (OWLED 2005). CEUR Workshop Proceedings, vol. 188 (2005), http://ceur-ws.org/

  53. Simancik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: Walsh, T. (ed.) Proceedings of the 22nd International Conference on Artificial Intelligence, IJCAI 2011 (2011)

    Google Scholar 

  54. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51–53 (2007)

    Article  Google Scholar 

  55. Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)

    MATH  Google Scholar 

  56. Staab, S., Studer, R. (eds.): Handbook on Ontologies, 2nd edn. International Handbooks on Information Systems. Springer, Heidelberg (2009)

    MATH  Google Scholar 

  57. Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.):Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. LNCS, vol. 5445. Springer, Heidelberg (2009)

    MATH  Google Scholar 

  58. Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  59. van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Foundations of Artificial Intelligence. Elsevier, Amsterdam (2008)

    MATH  Google Scholar 

  60. Wolstencroft, K., Brass, A., Horrocks, I., Lord, P., Sattler, U., Turi, D., Stevens, R.: A little semantic web goes a long way in biology. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 786–800. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute AIFB, Karlsruhe Institute of Technology, Germany

    Sebastian Rudolph

Authors
  1. Sebastian Rudolph
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DERI, National University of Ireland, Galway, Ireland

    Axel Polleres

  2. Computer Science Department, University of Bari, 70125, Bari, Italy

    Claudia d’Amato

  3. Pontificia Universidad Católica de Chile, Santiago de Chile, Chile

    Marcelo Arenas

  4. Digital Enterprise Research Institute (DERI), National University of Ireland, Galway, Ireland

    Siegfried Handschuh

  5. Skytec AG, 82041, Oberhaching, Germany

    Paula Kroner

  6. Universidad Rey Juan Carlos, 28933, Móstoles, (Madrid), Spain

    Sascha Ossowski

  7. Bell Labs Research, Alcatel-Lucent, 07974, Murray Hill, NJ, USA

    Peter Patel-Schneider

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Rudolph, S. (2011). Foundations of Description Logics. In: Polleres, A., et al. Reasoning Web. Semantic Technologies for the Web of Data. Reasoning Web 2011. Lecture Notes in Computer Science, vol 6848. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23032-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23032-5_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23031-8

  • Online ISBN: 978-3-642-23032-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation