Skip to main content

Introductions to Description Logics – A Guided Tour

  • Chapter

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

Abstract

Description Logics (DLs) are the logical formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for many powerful reasoning services. This paper provides an overview of basic topics in the field of Description Logics by surveying the introductory literature and course material with a focus on DL reasoning services. The resulting compilation also gives a historical perspective on DLs as a research area.

Keywords

  • Description Logic
  • Conjunctive Query
  • Query Answering
  • Ontology Engineering
  • Reasoning Service

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-39784-4_3
  • Chapter length: 12 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   39.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-39784-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   54.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F.: Description logic terminology. In: [5], pp. 485–495. Cambridge University Press (2003)

    Google Scholar 

  2. Baader, F.: Description logics. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 1–39. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  3. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan-Kaufmann Publishers, Edinburgh (2005)

    Google Scholar 

  4. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proc. of the OWLED Workshop (2008)

    Google Scholar 

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

    Google Scholar 

  6. Baader, F., Hladik, J., Lutz, C., Wolter, F.: From tableaux to automata for description logics. In: Vardi, M.Y., Voronkov, A. (eds.) LPAR 2003. LNCS, vol. 2850, pp. 1–32. Springer, Heidelberg (2003), Slides of the talk are available from http://lat.inf.tu-dresden.de/~baader/Talks/LPAR03.pdf

    CrossRef  Google Scholar 

  7. Baader, F., Horrocks, I., Sattler, U.: Description logics for the semantic web. KI 16(4), 57–59 (2002)

    MATH  Google Scholar 

  8. Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 3–28. Springer (2004), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2004/BaHS04a.pdf

  9. Baader, F., Lutz, C.: Description logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) The Handbook of Modal Logic, pp. 757–820. Elsevier (2006)

    Google Scholar 

  10. Baader, F., Nutt, W.: Basic description logics. In: [5], ch. 2, pp. 43–96. Cambridge University Press (2003)

    Google Scholar 

  11. Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic \(\mathcal{EL}\). In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proc. of the 2007 Description Logic Workshop (DL 2007), CEUR-WS (2007)

    Google Scholar 

  12. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)

    MathSciNet  CrossRef  MATH  Google Scholar 

  13. Baader, F., Sertkaya, B., Turhan, A.-Y.: Computing the least common subsumer w.r.t. a background terminology. Journal of Applied Logics (2007)

    Google Scholar 

  14. Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic \(\mathcal{EL}^+\). In: Proceedings of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008), Phoenix, Arizona (2008)

    Google Scholar 

  15. Bechhofer, S., Horrocks, I., Goble, C.A., Stevens, R.: OilEd: a Reason-able Ontology Editor for the Semantic Web. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol. 2174, pp. 396–408. Springer, Heidelberg (2001), OilEd download page http://oiled.man.ac.uk

    CrossRef  Google Scholar 

  16. Bechhofer, S., Möller, R., Crowther, P.: The DIG Description Logic Interface. In: Proc. of the 2003 Description Logic Workshop (DL 2003), Rome, Italy (2003)

    Google Scholar 

  17. Borgida, A., Lenzerini, M., Rosati, R.: Description logics for databases. In: [5], pp. 462–484. Cambridge University Press (2003)

    Google Scholar 

  18. Borgida, A., Patel-Schneider, P.F.: A semantics and complete algorithm for subsumption in the CLASSIC description logic. Journal of Artificial Intelligence Research 1, 277–308 (1994)

    MATH  Google Scholar 

  19. Brachman, R.J., Borgida, A., McGuinness, D.L., Alperin Resnick, L.: The CLASSIC knowledge representation system, or, KL-ONE: the next generation. Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal. (1989)

    Google Scholar 

  20. Brachman, R.J., Levesque, H.J.: Readings in Knowledge Representation. Morgan Kaufmann, Los Altos (1985)

    MATH  Google Scholar 

  21. Brachman, R.J., McGuinness, D.L., Patel-Schneider, P.F., Resnick, L.A., Borgida, A.: Living with classic: When and how to use a kl-one-like language. In: Principles of Semantic Networks, pp. 401–456. Morgan Kaufmann (1991)

    Google Scholar 

  22. Brachman, R.J., Nardi, D.: An introduction to description logics. In: [5], ch. 1, pp. 1–40. Cambridge University Press (2003)

    Google Scholar 

  23. Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else? In: de Mantáras, R.L., Saitta, L. (eds.) Proc. of the 16th European Conf. on Artificial Intelligence (ECAI 2004), pp. 298–302. IOS Press (2004)

    Google Scholar 

  24. Brandt, S., Küsters, R., Turhan, A.-Y.: Approximation and difference in description logics. In: Fensel, D., McGuinness, D., Williams, M.-A. (eds.) Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2002). Morgan Kaufmann Publishers, San Francisco (2002)

    Google Scholar 

  25. Calvanese, D., De Giacomo, G.: Description logics for conceptual data modeling in uml. Course held at ESSLLI 2003 (2003), http://www.inf.unibz.it/~calvanese/teaching/2003-08-ESSLLI-UML

  26. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 255–356. Springer, Heidelberg (2009), Course slides available from http://www.inf.unibz.it/~calvanese/teaching/2009-09-ReasoningWeb-school-ontologies-dbs/ReasoningWeb-2009-ontologies-dbs.pdf

    CrossRef  Google Scholar 

  27. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Veloso, M.M., Kambhampati, S. (eds.) Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 602–607. AAAI Press/The MIT Press (2005)

    Google Scholar 

  28. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260–270 (2006)

    Google Scholar 

  29. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)

    MathSciNet  CrossRef  MATH  Google Scholar 

  30. Calvanese, D., De Giacomo, G., Rodriguez-Muro, M.: Integrating data into ontologies. Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-4.pdf

  31. Calvanese, D., Giacomo, G.D.: Expressive description logics. In: [5], ch. 5, pp. 178–218. Cambridge University Press (2003)

    Google Scholar 

  32. Calvanese, D., Zakharyaschev, M.: Answering queries in description logics: Theory and applications to data management. Course held at ESSLLI 2010 (2010), http://www.inf.unibz.it/~calvanese/teaching/2010-08-ESSLLI-DL-QA/

  33. Connolly, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: DAML+OIL reference description. W3C Note (March 2001), http://www.w3.org/TR/daml+oil-reference

  34. Consortium, T.G.O.: Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25–29 (2000)

    CrossRef  Google Scholar 

  35. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. Journal of Artificial Intelligence Research 31, 273–318 (2008)

    MathSciNet  MATH  Google Scholar 

  36. Donini, F.M.: Complexity of reasoning. In: [5], ch. 3, pp. 96–136. Cambridge University Press (2003)

    Google Scholar 

  37. Donini, F.M., Colucci, S., Di Noia, T., Di Sciascio, E.: A tableaux-based method for computing least common subsumers for expressive description logics. In: Proc. of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 739–745. AAAI (July 2009)

    Google Scholar 

  38. Eiter, T., Lutz, C., Ortiz, M., Simkus, M.: Query answering in description logics with transitive roles. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). AAAI Press (2009)

    Google Scholar 

  39. Fitting, M.: Basic modal logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, pp. 365–448. Oxford Science Publications (1993)

    Google Scholar 

  40. Franconi, E.: Description logics – tutorial course information (2002), http://www.inf.unibz.it/~franconi/dl/course

  41. Gennari, J., Musen, M., Fergerson, R., Grosso, W., Crubézy, M., Eriksson, H., Noy, N., Tu, S.: The evolution of protégé-2000: An environment for knowledge-based system development. International Journal of Human-Computer Studies 58, 89–123 (2003)

    CrossRef  Google Scholar 

  42. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative extensions in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 187–197. AAAI Press (2006)

    Google Scholar 

  43. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic \({\mathcal{SHIQ}}\). In: Veloso, M.M. (ed.) Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), Hyderabad, India, pp. 399–404 (2007)

    Google Scholar 

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

  45. Horrcks, I., Sattler, U.: Logical foundations for the semantic web. Slides of the ESSLI 2003 tutorial (2003), http://www.cs.man.ac.uk/~horrocks/ESSLLI2003

  46. 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)

    CrossRef  Google Scholar 

  47. Horridge, M., Sattler, U.: Understanding and repairing inferences (includes modularisation). Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-3.pdf

  48. Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Cohn, A., Schubert, L., Shapiro, S. (eds.) Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636–647 (1998)

    Google Scholar 

  49. Horrocks, I.: Ontology engineering: Tools and methodologies. Slides from the tutorial at the Norwegian Semantic Days (April 2007), http://www.cs.ox.ac.uk/people/ian.horrocks/Seminars/download/SemanticDays07-tutorial.ppt

  50. Horrocks, I.: Description logic: a formal foundation for languages and tools. Slides from the tutorial at the Semantic Technology Conference (SemTech) (2010), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2010/HoPa10a.pdf

  51. Horrocks, I.: Tool support for ontology engineering. In: Fensel, D. (ed.) Foundations for the Web of Information and Services, pp. 103–112. Springer (2011)

    Google Scholar 

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

    Google Scholar 

  53. Horrocks, I., Patel-Schneider, P.F.: KR and reasoning on the semantic web: OWL. In: Domingue, J., Fensel, D., Hendler, J.A. (eds.) Handbook of Semantic Web Technologies, ch. 9, pp. 365–398. Springer (2011), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2010/HoPa10a.pdf

  54. Horrocks, I., Patel-Schneider, P.F., McGuinness, D.L., Welty, C.A.: OWL: a Description Logic Based Ontology Language for the Semantic Web. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, ch. 14, 2nd edn., Cambridge University Press (2007), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HPMW07.pdf

  55. Horrocks, I., Sattler, U.: Optimised reasoning for \(\mathcal{SHIQ}\). In: Proc. of the 15th European Conference on Artificial Intelligence (2002)

    Google Scholar 

  56. Horrocks, I., Sattler, U.: A tableaux decision procedure for \(\cal{SHOIQ}\). In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan Kaufmann (January 2005)

    Google Scholar 

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

    MathSciNet  CrossRef  MATH  Google Scholar 

  58. Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 267–280. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  59. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca Grau, B., Hendler, J.: Swoop: A web ontology editing browser. J. Web Sem. 4(2), 144–153 (2006)

    CrossRef  Google Scholar 

  60. Keet, M.: Introduction to ontology engineering, with emphasis on semantic web technologies. Meraka Institute, South Africa. Course in the Masters Ontology Winter School 2010 (2010), http://www.meteck.org/teaching/SA/MOWS10OntoEngCouse.html

  61. Knublauch, H., Horridge, M., Musen, M.A., Rector, A.L., Stevens, R., Drummond, N., Lord, P.W., Noy, N.F., Seidenberg, J., Wang, H.: The protege owl experience. In: Grau, B.C., Horrocks, I., Parsia, B., Patel-Schneider, P.F. (eds.) Proceedings of the OWLED Workshop. CEUR Workshop Proceedings, vol. 188, CEUR-WS.org. (2005)

    Google Scholar 

  62. Konev, B., Ludwig, M., Walther, D., Wolter, F.: The logical difference for the lightweight description logic \(\mathcal{EL}\). J. Artif. Intell. Res. (JAIR) 44, 633–708 (2012)

    MATH  Google Scholar 

  63. Krötzsch, M.: OWL 2 Profiles: An introduction to lightweight ontology languages. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol. 7487, pp. 112–183. Springer, Heidelberg (2012), Course slides available from http://korrekt.org/talks/2012/OWL_2_Profiles_Reasoning-Web-2012.pdf

    CrossRef  Google Scholar 

  64. Krötzsch, M., Simančík, F., Horrocks, I.: A description logic primer. CoRR, abs/1201.4089 (2012), http://arxiv.org/abs/1201.4089

  65. Liebig, T., Noppens, O.: OntoTrack: Combining browsing and editing with reasoning and explaining for OWL lite ontologies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 244–258. Springer, Heidelberg (2004), OntoTrack download page http://www.informatik.uni-ulm.de/ki/ontotrack/

    CrossRef  Google Scholar 

  66. 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)

    CrossRef  Google Scholar 

  67. Lutz, C., Sattler, U.: Description logics (2005), Slides are available from http://www.computational-logic.org/content/events/iccl-ss-2005/lectures/lutz/index.php?id=24

  68. Lutz, C., Sattler, U., Wolter, F.: Modularity in logical theories and ontologies. Slides of the ESSLI 2008 tutorial (2008), http://cgi.csc.liv.ac.uk/~frank/publ/esslli08.html

  69. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007). AAAI Press (2007)

    Google Scholar 

  70. Lutz, C., Wolter, F.: Mathematical logic for life science ontologies. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol. 5514, pp. 37–47. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  71. Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic \(\mathcal{EL}\). Journal of Symbolic Computation 45(2), 194–228 (2010)

    MathSciNet  CrossRef  MATH  Google Scholar 

  72. Minsky, M.: A framework for representing knowledge. Technical report, MIT-AI Laboratory, Cambridge, MA, USA (1974)

    Google Scholar 

  73. Möller, R.: Introduction to standard reasoning. Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-1.pdf

  74. Möller, R., Haarslev, V.: Description logic systems. In: [5], pp. 282–305. Cambridge University Press (2003)

    Google Scholar 

  75. 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), KAON2 download page http://kaon2.semanticweb.org/

    CrossRef  Google Scholar 

  76. Nebel, B.: Computational complexity of terminological reasoning in BACK. Artificial Intelligence Journal 34(3), 371–383 (1988)

    MathSciNet  CrossRef  MATH  Google Scholar 

  77. Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence Journal 43, 235–249 (1990)

    MathSciNet  CrossRef  MATH  Google Scholar 

  78. Nebel, B., von Luck, K.: Hybrid reasoning in BACK. In: Proc. of the 3rd Int. Sym. on Methodologies for Intelligent Systems (ISMIS 1988), pp. 260–269. North-Holland Publ. Co., Amsterdam (1988)

    Google Scholar 

  79. Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. Journal of Automated Reasoning 41(1), 61–98 (2008)

    MathSciNet  CrossRef  MATH  Google Scholar 

  80. Ortiz, M., Šimkus, M.: Reasoning and query answering in description logics. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol. 7487, pp. 1–53. Springer, Heidelberg (2012), Course slides available from http://www.kr.tuwien.ac.at/events/rw2012/teaching-material/RW12-Tutorial-Ortiz-Simkus-1p.pdf

    CrossRef  Google Scholar 

  81. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL Ontologies. In: Ellis, A., Hagino, T. (eds.) Proc. of the 14th Int. World Wide Web Conference (WWW 2005), Chiba, Japan, pp. 633–640 (May 2005)

    Google Scholar 

  82. Quillian, M.R.: Word concepts: A theory and simulation of some basic capabilities. Behavioral Science 12, 410–430 (1967), Republished in [20]

    CrossRef  Google Scholar 

  83. Rector, A.: Medical informatics. In: [5], pp. 406–426. Cambridge University Press (2003)

    Google Scholar 

  84. Rector, A.L., Rogers, J.: Ontological and practical issues in using a description logic to represent medical concept systems: Experience from GALEN. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 197–231. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  85. Rosse, C., Mejino, J.L.V.: A reference ontology for biomedical informatics: the foundational model of anatomy. Journal of Biomedical Informatics 36, 478–500 (2003)

    CrossRef  Google Scholar 

  86. Sattler, U., Calvanese, D., Molitor, R.: Relationships with other formalisms. In: [5], ch. 4, pp. 137–177. Cambridge University Press (2003)

    Google Scholar 

  87. Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Mylopoulos, J., Reiter, R. (eds.) Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, Australia (1991)

    Google Scholar 

  88. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 355–362. Morgan Kaufmann, Los Altos (2003)

    Google Scholar 

  89. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with unions and complements. Technical Report SR-88-21, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), Kaiserslautern, Germany (1988)

    Google Scholar 

  90. Schneider, T., Sattler, U.: Description logics: an introductory course on a nice family of logics. Course held at ESSLLI 2012 (August 2012), http://www.informatik.uni-bremen.de/~ts/teaching/2012_dl

  91. Schneider, T., Walther, D.: Modularity in ontologies. Course held at ESSLLI 2011 (August 2011), http://www.informatik.uni-bremen.de/~ts/teaching/2011_modularity

  92. Sioutos, N., de Coronado, S., Haber, M.W., Hartel, F.W., Shaiu, W.-L., Wright, L.W.: NCI thesaurus: A semantic model integrating cancer-related clinical and molecular information. J. of Biomedical Informatics 40(1), 30–43 (2007)

    CrossRef  Google Scholar 

  93. Sowa, J.F. (ed.): Principles of Semantic Networks. Morgan Kaufmann, Los Altos (1991)

    MATH  Google Scholar 

  94. Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. Journal of the American Medical Informatics Assoc. (2000) (Fall Symposium Special Issue)

    Google Scholar 

  95. Turhan, A.-Y.: Bottom-up contruction of ontologies. Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-2.pdf

  96. Turhan, A.-Y.: Reasoning and explanation in \(\mathcal{EL}\) and in expressive description logics. In: Aßmann, U., Bartho, A., Wende, C. (eds.) Reasoning Web. LNCS, vol. 6325, pp. 1–27. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  97. Turhan, A.-Y.: Description logic reasoning for semantic web ontologies. In: Akerkar, R. (ed.) Proc. of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, p. 6. ACM (2011)

    Google Scholar 

  98. Turhan, A.-Y., Bechhofer, S., Kaplunova, A., Liebig, T., Luther, M., Möller, R., Noppens, O., Patel-Schneider, P., Suntisrivaraporn, B., Weithöner, T.: DIG 2.0 – Towards a flexible interface for description logic reasoners. In: Cuenca Grau, B., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the Second International Workshop OWL: Experiences and Directions (November 2006)

    Google Scholar 

  99. W3C OWL Working Group. OWL 2 web ontology language document overview. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/2009/REC-owl2-overview-20091027/

  100. 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)

    CrossRef  Google Scholar 

  101. Zarrieß, B., Turhan, A.-Y.: Most specific generalizations w.r.t. general \(\mathcal{EL}\)-TBoxes. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press, Beijing (to appear, 2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Turhan, AY. (2013). Introductions to Description Logics – A Guided Tour. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds) Reasoning Web. Semantic Technologies for Intelligent Data Access. Reasoning Web 2013. Lecture Notes in Computer Science, vol 8067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39784-4_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39784-4_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39783-7

  • Online ISBN: 978-3-642-39784-4

  • eBook Packages: Computer ScienceComputer Science (R0)