Skip to main content
SpringerLink
Log in

Description logics: retrospective survey

  • Living reference work entry
  • First Online:
Computer Vision

  • 25 Accesses

Synonyms

Concept languages; Terminological logics

Related Concepts

Definition

Description logics (DLs) is a family of logic-based knowledge representation formalisms for characterizing object classes and relationships between them.

Background

DLs have been developed to provide well-founded tools for knowledge representation and reasoning. Modern systems offer expressive concept languages with highly optimized reasoners, for example, for concept subsumption, instance classification or consistency checks. DLs have gained additional importance due to OWL-DL, the standardized DL for the Semantic Web. Mature software tools exist to support the development of OWL-DL knowledge bases, notably the editor Protégé.

Theory

Knowledge representation in DLs is based on unary predicates called concepts (or concept terms), binary predicates called roles (or role terms), and so-called individuals. A concept is interpreted in a set-theoretical semantics as a set of elements from...

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. Russ TA, Macgregor RM, Salemi B, Price K, Nevatia R (1996) VEIL: combining semantic knowledge with image understanding. In: ARPA image understanding workshop, Palm Springs, pp 373–380

    Google Scholar 

  2. Gries O, Möller R, Nafissi A, Rosenfeld M, Sokolski K, Wessel M (2010) A probabilistic abduction engine for media interpretation. In: Alferes J, Hitzler P, Lukasiewicz T (eds) Proceedings of the international conference on web reasoning and rule systems (RR-2010), Bressanone

    Google Scholar 

  3. Bohlken W, Neumann B, Hotz L, Koopmann P (2011) Ontology-based realtime activity monitoring using beam search. In: Crowley JL, Draper BA, Thonnat M (eds) Proceedings of ICVS 2011. Springer, Berlin/New York, pp 112–121

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Hamburg, Hamburg, Germany

    Bernd Neumann

  2. Department of Computer Science, University of Lübeck, Lübeck, Germany

    Ralf Möller

Authors
  1. Bernd Neumann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Möller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ralf Möller .

Section Editor information

  1. Tohoku University, Sendai, Japan

    Koichiro Deguchi

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Neumann, B., Möller, R. (2020). Description logics: retrospective survey. In: Computer Vision. Springer, Cham. https://doi.org/10.1007/978-3-030-03243-2_706-1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-03243-2_706-1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-03243-2

  • Online ISBN: 978-3-030-03243-2

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation