Skip to main content
SpringerLink
Log in

Description Logics

  • Chapter
Handbook on Ontologies

Part of the book series: International Handbooks on Information Systems ((INFOSYS))

Summary

In this chapter, we explain what description logics are and why they make good ontology languages. In particular, we introduce the description logic SHIQ, which has formed the basis of several well-known ontology languages including OIL, DAML+OIL and OWL. We argue that, without the last decade of basic research in description logics, this family of knowledge representation languages could not have played such an important rôle in this context.

Description logic reasoning can be used both during the design phase, in order to improve the quality of ontologies, and in the deployment phase, in order to exploit the rich structure of ontologies and ontology based information. We show how tableaux algorithms can be used to provide sound and complete reasoning for description logics like SHIQ,and how optimised implementations have made these services available to realistic applications. We also discuss some of the challenges associated with the extensions to SHIQ that are required for languages such as DAML+OIL and OWL. Finally, we sketch how novel reasoning services can support building DL knowledge bases.

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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.

    Google Scholar 

  2. Franz Baader. Terminological cycles in KL-ONE-based knowledge representation languages. In Proc. of the 8th Nat. Conf. on Artificial Intelligence (AAAI’90), pages 621–626, Boston (Ma, USA ), 1990.

    Google Scholar 

  3. Franz Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), 1991.

    Google Scholar 

  4. Franz Baader. Using automata theory for characterizing the semantics of terminological cycles. Ann. of Mathematics and Artificial Intelligence,18(2–4):175219, 1996.

    Google Scholar 

  5. Franz Baader, Sebastian Brandt, and Ralf Küsters. Matching under side conditions in description logics. In Bernhard Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 213–218, Seattle, Washington, 2001. Morgan Kaufmann.

    Google Scholar 

  6. Franz Baader, Martin Buchheit, and Bernhard Hollunder. Cardinality restrictions on concepts. Artificial Intelligence, 88 (1–2): 195–213, 1996.

    Article  Google Scholar 

  7. Franz Baader, Hans-Jürgen Blirckert, Bernhard Hollunder, Werner Nutt, and Jörg H. Siekmann. Concept logics. In John W. Lloyd, editor, Computational Logics, Symposium Proceedings, pages 177–201. Springer-Verlag, 1990.

    Google Scholar 

  8. Franz Baader, Hans-Jürgen Blirckert, Bernhard Nebel, Werner Nutt, and Gert Smolka. On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. of Logic, Language and Information, 2: 1–18, 1993.

    Article  Google Scholar 

  9. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002. To appear.

    Google Scholar 

  10. Franz Baader, Enrico Franconi, Bernhard Hollunder, Bernhard Nebel, and Hans-Jürgen Profitlich. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Applied Artificial Intelligence. Special Issue on Knowledge Base Management, 4: 109–132, 1994.

    Google Scholar 

  11. Franz Baader and Philipp Hanschke. A schema for integrating concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), pages 452–457, 1991.

    Google Scholar 

  12. Franz Baader and Philipp Hanschke. Extensions of concept languages for a mechanical engineering application. In Proc. of the 16th German Workshop on Artificial Intelligence (GWAI’92), volume 671 of LNCS, pages 132–143. Springer-Verlag, 1992.

    Google Scholar 

  13. Franz Baader and Bernhard Hollunder. A terminological knowledge representation system with complete inference algorithm. In Proc. of the Workshop on Processing Declarative Knowledge (PDK’91), volume 567 of LNAI, pages 6786. Springer-Verlag, 1991.

    Google Scholar 

  14. Franz Baader and Ralf Küsters. Computing the least common subsumer and the most specific concept in the presence of cyclic AGN-concept descriptions. In Proc. of the 22nd German Annual Conf. on Artificial Intelligence (KI’98), volume 1504 of LNCS, pages 129–140. Springer-Verlag, 1998.

    Google Scholar 

  15. Franz Baader and Ralf Küsters. Matching in description logics with existential restrictions. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’2000), pages 261–272, 2000.

    Google Scholar 

  16. Franz Baader, Ralf Küsters, Alex Borgida, and Deborah L. McGuinness. Matching in description logics. J. of Logic and Computation, 9 (3): 411–447, 1999.

    Article  Google Scholar 

  17. Franz Baader, Ralf Küsters, and Ralf Molitor. Computing least common subsumers in description logics with existential restrictions. In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI’99), pages 96–101, 1999.

    Google Scholar 

  18. Franz Baader, Ralf Küsters, and Ralf Molitor. Rewriting concepts using terminologies. In Proc. of the 7th Mt. Conf. on Principles of Knowledge Representation and Reasoning (KR’2000), pages 297–308, 2000.

    Google Scholar 

  19. Franz Baader and Ulrike Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69 (1): 5–40, October 2001.

    Article  Google Scholar 

  20. Andrew Baker. Intelligent Backtracking on Constraint Satisfaction Problems: Experimental and Theoretical Results. PhD thesis, University of Oregon, 1995.

    Google Scholar 

  21. Sean Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens. OilEd: a reason-able ontology editor for the semantic web. In Proc. of the 2001 Description Logic Workshop (DL 2001), pages 1–9. CEUR (http: //ceur-ws. org/), 2001.

    Google Scholar 

  22. Franz Baader, Ian Horrocks, and Ulrike Sattler

    Google Scholar 

  23. Tim Berners-Lee. Weaving the Web. Harpur, San Francisco, 1999.

    Google Scholar 

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

    Article  Google Scholar 

  25. Alexander Borgida and Deborah L. McGuinness. Asking queries about frames. In Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’96), pages 340–349, 1996.

    Google Scholar 

  26. Pim Borst, Hans Akkermans, and Jan Top. Engineering ontologies. International Journal of Human-Computer Studies, 46: 365–406, 1997.

    Article  Google Scholar 

  27. Ronald J. Brachman. “Reducing” CLASSIC to practice: Knowledge representation meets reality. In Proc. of the 3rd Inn. Conf. on the Principles of Knowledge Representation and Reasoning (KR’92), pages 247–258. Morgan Kaufmann, Los Altos, 1992.

    Google Scholar 

  28. Ronald J. Brachman and Hector J. Levesque. The tractability of subsumption in frame-based description languages. In Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI’84), pages 34–37, 1984.

    Google Scholar 

  29. Ronald J. Brachman and James G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9 (2): 171–216, 1985.

    Article  Google Scholar 

  30. Sebastian Brandt, Ralf Küsters, and Anni-Yasmin Turhan. Approximation and difference in description logics. In D. Fensel, F. Giunchiglia, D. McGuiness, and M.-A. Williams, editors, Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’2002), pages 203–214. Morgan Kaufmann, Los Altos, 2002.

    Google Scholar 

  31. Paolo Bresciani, Enrico Franconi, and Sergio Tessaris. Implementing and testing expressive description logics: Preliminary report. In Proc. of the 1995 Description Logic Workshop (DL’95), pages 131–139, 1995.

    Google Scholar 

  32. Martin Buchheit, Francesco M. Donini, Werner Nutt, and Andrea Schaerf. A refined architecture for terminological systems: Terminology = schema + views. Artificial Intelligence, 99(2): 209–260, 1998.

    Google Scholar 

  33. Martin Buchheit, Francesco M. Donini, and Andrea Schaerf. Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research, 1: 109–138, 1993.

    Google Scholar 

  34. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS’98), pages 149–158, 1998.

    Google Scholar 

  35. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi. Reasoning in expressive description logics. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, chapter 23, pages 1581–1634. Elsevier Science Publishers (North-Holland), Amsterdam, 2001.

    Google Scholar 

  36. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati. Description logic framework for information integration. In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’98), pages 2–13, 1998.

    Google Scholar 

  37. William W. Cohen, Alex Borgida, and Haym Hirsh. Computing least common subsumers in description logics. In William Swartout, editor, Proc. of the 10th Nat. Conf on Artificial Intelligence (AAAI’92), pages 754–760. AAAI Press/The MIT Press, 1992.

    Google Scholar 

  38. Giuseppe De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 1995.

    Google Scholar 

  39. Giuseppe De Giacomo and Maurizio Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI’94), pages 205–212, 1994.

    Google Scholar 

  40. Giuseppe De Giacomo and Maurizio Lenzerini. Concept language with number restrictions and fixpoints, and its relationship with µ-calculus. In Proc. of the 11th Eur. Conf. on Artificial Intelligence (ECAI’94), pages 411–415, 1994.

    Google Scholar 

  41. Giuseppe De Giacomo and Maurizio Lenzerini. TBox and ABox reasoning in expressive description logics. In Proc. of the 5th Int. Conf on the Principles of Knowledge Representation and Reasoning (KR’96), pages 316–327, 1996.

    Google Scholar 

  42. Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, and Werner Nutt. The complexity of existential quantification in concept languages. Artificial Intelligence, 2–3: 309–327, 1992.

    Article  Google Scholar 

  43. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. The complexity of concept languages. In Proc. of the 2nd Int. Conf on the Principles of Knowledge Representation and Reasoning (KR’91), pages 151–162, 1991.

    Google Scholar 

  44. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. Tractable concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), pages 458–463, 1991.

    Google Scholar 

  45. Jon Doyle and Ramesh S. Patil. Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, 48: 261–297, 1991.

    Google Scholar 

  46. D. Fensel, F. van Harmelen, M. Klein, H. Akkermans, J. Broekstra, C. Huit, J. van der Meer, H.-P. Schnurr, R. Studer, J. Hughes, U. Krohn, J. Davies, R. Engels, B. Bremdal, F. Ygge, T. Lau, B. Novotny, U. Reimer, and I. Horrocks. OnTo-Knowledge: Ontology-based tools for knowledge management. In Proceedings of the eBusiness and eWork 2000 (eBeW’00 Conference, October 2000.

    Google Scholar 

  47. Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 16(21: 38–45, 2001.

    Google Scholar 

  48. Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. J. of Computer and System Sciences, 18: 194–211, 1979.

    Article  Google Scholar 

  49. Erich Grädel. Guarded fragments of first-order logic: A perspective for new description logics? In Proc. of the 1998 Description Logic Workshop (DL’98). CEUR Electronic Workshop Proceedings, http: //ceur-ws. org/Vol-11/, 1998.

    Google Scholar 

  50. Erich Grädel. On the restraining power of guards. J. of Symbolic Logic, 64: 1719 1742, 1999.

    Google Scholar 

  51. Erich Grädel, Phokion G. Kolaitis, and Moshe Y. Vardi. On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic, 3(11: 53–69, 1997.

    Google Scholar 

  52. Erich Grädel, Martin Otto, and Eric Rosen. Two-variable logic with counting is decidable. In Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS’97), 1997.

    Google Scholar 

  53. Thomas Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5 (2): 199–220, 1993.

    Article  Google Scholar 

  54. Volker Haarslev and Ralf Möller. RACE system description. In Proc. of the 1999 Description Logic Workshop (DL’99), pages 130–132. CEUR Electronic Workshop Proceedings, ht tp://ceur - ws. org/Vo 1–22/, 1999.

    Google Scholar 

  55. Franz Baader, Ian Horrocks, and Ulrike Sattler

    Google Scholar 

  56. Volker Haarslev and Ralf Möller. Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’2000), pages 273–284, 2000.

    Google Scholar 

  57. Volker Haarslev and Ralf Möller. RACER system description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), volume 2083 of LNAI, pages 701–705. Springer-Verlag, 2001.

    Google Scholar 

  58. Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54: 319–379, 1992.

    Article  Google Scholar 

  59. Patrick Hayes. RDF model theory. W3C Working Draft, April 2002. http://www.w3.org/TR/rdf-mt/.

    Google Scholar 

  60. Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, and Hans-Jürgen Profitlich. An empirical analysis of terminological representation systems. Artificial Intelligence, 68: 367–397, 1994.

    Article  Google Scholar 

  61. Bernhard Hollunder and Franz Baader. Qualifying number restrictions in concept languages. In Proc. of the 2nd Int. Conf on the Principles of Knowledge Representation and Reasoning (KR’91), pages 335–346, 1991.

    Google Scholar 

  62. Bernhard Hollunder, Werner Nutt, and Manfred Schmidt-Schauß. Subsumption algorithms for concept description languages. In Proc. of the 9th Eur. Conf. on Artificial Intelligence (ECAI’90),pages 348–353, London (United Kingdom), 1990. Pitman.

    Google Scholar 

  63. Ian Horrocks. The FaCT system. In Harrie de Swart, editor, Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX’98), volume 1397 of LNAI, pages 307–312. Springer-Verlag, 1998.

    Google Scholar 

  64. Ian Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’98), pages 636–647, 1998.

    Google Scholar 

  65. Ian Horrocks and Peter Patel-Schneider. The generation of DAML+OIL. In Proc. of the 2001 Description Logic Workshop (DL 2001), pages 30–35. CEUR (http: //ceur-ws.org/), 2001.

    Google Scholar 

  66. Ian Horrocks and Peter F. Patel-Schneider. Optimizing description logic subsumption. J. of Logic and Computation, 9 (3): 267–293, 1999.

    Article  Google Scholar 

  67. Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. Reviewing the design of DAML+OIL: An ontology language for the semantic web. In Proc. of the 19th Nat. Conf. on Artificial Intelligence (AAA] . 2002), 2002.

    Google Scholar 

  68. Ian Horrocks and Ulrike Sattler. A description logic with transitive and inverse roles and role hierarchies. J. of Logic and Computation, 9 (3): 385–410, 1999.

    Article  Google Scholar 

  69. Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR’99), volume 1705 in LNAI, pages 161–180. Springer-Verlag, 1999.

    Google Scholar 

  70. Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for very expressive description logics. J. of the Interest Group in Pure and Applied Logic, 8 (3): 239–264, 2000.

    Google Scholar 

  71. Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Reasoning with individuals for the description logic S7 - I1Q. In David McAllester, editor, Proc. of the 17th Int. Conf. on Automated Deduction (CADE 2000), volume 1831 of LNCS, pages 482–496. Springer-Verlag, 2000.

    Google Scholar 

  72. Ian Horrocks and Stephan Tobies. Reasoning with axioms: Theory and practice. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’2000), pages 285–296, 2000.

    Google Scholar 

  73. Ralf Küsters and Alex Borgida. What’s in an Attribute? Consequences for the Least Common Subsumer. J. of Artificial Intelligence Research, 14: 167–203, 2001.

    Google Scholar 

  74. 72. Ralf Küsters and Ralf Molitor. Approximating Most Specific Concepts in Description Logics with Existential Restrictions. In F. Baader, editor, Proc. of the Joint German/Austrian Conference on Artificial Intelligence, 24th German/9th Austrian Conference on Artificial Intelligence (KI 2001),volume 2174 of LNAI. Springer-Verlag, 2001.

    Google Scholar 

  75. Ralf Küsters and Ralf Molitor. Computing Least Common Subsumers in ALEN. In Bernard Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI2001), pages 219–224. Morgan Kaufmann, Los Altos, 2001.

    Google Scholar 

  76. Carsten Lutz. Description logics with concrete domains-a survey. In Advances in Modal Logics Volume 4. World Scientific Publishing Co. Pte. Ltd., 2003.

    Google Scholar 

  77. Carsten Lutz. NEXPTIME-complete description logics with concrete domains. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), volume 2083 of LNAI, pages 45–60. Springer-Verlag, 2001.

    Google Scholar 

  78. Robert MacGregor. The evolving technology of classification-based knowledge representation systems. In John F. Sowa, editor, Principles of Semantic Networks, pages 385–400. Morgan Kaufmann, Los Altos, 1991.

    Google Scholar 

  79. Eric Mays, Robert Dionne, and Robert Weida. K-Rep system overview. SIGART Bull., 2 (3): 93–97, 1991.

    Article  Google Scholar 

  80. Ralf Molitor. Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 2000. In German.

    Google Scholar 

  81. Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems,volume 422 of LNAI. Springer-Verlag, 1990.

    Google Scholar 

  82. Bernhard Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43: 235–249, 1990.

    Article  Google Scholar 

  83. Bernhard Nebel. Terminological cycles: Semantics and computational properties. In John F. Sowa, editor, Principles of Semantic Networks, pages 331–361. Morgan Kaufmann, Los Altos, 1991.

    Google Scholar 

  84. Franz Oppacher and E. Suen. HARP: A tableau-based theorem prover. J. of Automated Reasoning, 4: 69–100, 1988.

    Article  Google Scholar 

  85. Leszek Pacholski, Wieslaw Szwast, and Lidia Tendera. Complexity of two-variable logic with counting. In Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS’97), pages 318–327. IEEE Computer Society Press, 1997.

    Google Scholar 

  86. Jeff Z. Pan and Ian Horrocks. Semantic web ontology reasoning in the S/IOQ(Dn) description logic. In Proc. of the 2002 Description Logic Workshop (DL 2002), 2002.

    Google Scholar 

  87. Peter F. Patel-Schneider. DLP. In Proc. of the 1999 Description Logic Workshop (DL’99),pages 9–13. CEUR Electronic Workshop Proceedings, http: //ceur-ws.org/Vol-22/,1999.

    Google Scholar 

  88. Peter F. Patel-Schneider, Deborah L. McGuiness, Ronald J. Brachman, Lori Alperin Resnick, and Alexander Borgida. The CLASSIC knowledge representation system: Guiding principles and implementation rational. SIGART Bull., 2 (3): 108–113, 1991.

    Article  Google Scholar 

  89. Franz Baader, Ian Horrocks, and Ulrike Sattler

    Google Scholar 

  90. Christof Peltason. The BACK system — an overview. SIGART Bull.,2(3):114119, 1991.

    Google Scholar 

  91. Ulrike Sattler. A concept language extended with different kinds of transitive roles. In Günter Görz and Steffen Hölldobler, editors, Proc. of the 20th German Annual Conf. on Artificial Intelligence (KI’96), volume 1137 in LNAI, pages 333–345. Springer-Verlag, 1996.

    Google Scholar 

  92. Ulrike Sattler. Terminological knowledge representation systems in a process engineering application. PhD thesis, RWTH Aachen, 1998.

    Google Scholar 

  93. Ulrike Sattler. Description logics for the representation of aggregated objects. In Proc. of the 14th Eur. Conf. on Artificial Intelligence (ECAI 2000), 2000.

    Google Scholar 

  94. Andrea Schaerf. Reasoning with individuals in concept languages. Data and Knowledge Engineering, 13 (2): 141–176, 1994.

    Article  Google Scholar 

  95. Klaus Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), pages 466–471, 1991.

    Google Scholar 

  96. Klaus Schild. Querying Knowledge and Data Bases by a Universal Description Logic with Recursion. PhD thesis, Universität des Saarlandes, Germany, 1995.

    Google Scholar 

  97. Manfred Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48 (1): 1–26, 1991.

    Article  Google Scholar 

  98. Piet-Hein Speel, Frank van Raalte, Paul van der Vet, and Nicolas Mars. Runtime and memory usage performance of description logics. In G. Ellis, R. A. Levinson, A. Fall, and V. Dahl, editors, Knowledge Retrieval, Use and Storage for Efficiency: Proc. of the 1st Int. KRUSE Symposium, pages 13–27, 1995.

    Google Scholar 

  99. Robert Stevens, Ian Horrocks, Carole Goble, and Sean Bechhofer. Building a reason-able bioinformatics ontology using OIL. In Proceedings of the IJCAI2001 Workshop on Ontologies and Information Sharing, pages 81–90. CEUR (http: //ceur-ws.org/), 2001.

    Google Scholar 

  100. Stephan Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, 2001.

    Google Scholar 

  101. Wiebe Van der Hoek and Maarten de Rijke. Counting objects. J. of Logic and Computation, 5 (3): 325–345, 1995.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Theoretische Informatik, TU Dresden, Germany

    Franz Baader & Ulrike Sattler

  2. Department of Computer Science, University of Manchester, UK

    Ian Horrocks

Authors
  1. Franz Baader
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ian Horrocks
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ulrike Sattler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute AIFB, University of Karlsruhe, Kaiserstraße 12, 76131, Karlsruhe, Germany

    Steffen Staab  & Rudi Studer  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Baader, F., Horrocks, I., Sattler, U. (2004). Description Logics. In: Staab, S., Studer, R. (eds) Handbook on Ontologies. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24750-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24750-0_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-11957-0

  • Online ISBN: 978-3-540-24750-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation