Skip to main content
SpringerLink
Log in
Book cover

Encyclopedia of Social Network Analysis and Mining pp 346–351Cite as

Description Logics

  • Reference work entry
  • First Online:

  • 119 Accesses

Glossary

KR:

Knowledge representation

DLs:

Description logics; a family of logic-based KR languages for representing knowledge through assertions about concepts, individuals, and relationships among them

(Logic-Based) Semantics:

A way to interpret any statement in a language; logic-based semantics interprets such a statement using operations in mathematical logic

Interpretation:

A mathematical structure realizing the semantics of a language, typically consisting of an underlying set (domain of interest) and a mapping from the statements in the language to the set or mathematical operations on it

Model:

An interpretation that interprets logical statements in a non-contradictory way

Individual:

An element of the domain of interest. Individual names are atomic statements in a DL corresponding to such elements

Concept:

A statement in a DL corresponding to sets of individuals

Role:

A statement in a DL corresponding to a binary relation between individuals

Axiom:

A statement in a DL that...

This is a preview of subscription content, 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   1,500.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   549.99
Price excludes VAT (USA)
  • Durable hardcover 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

Learn about institutional subscriptions

References

  • Baader F, Lutz C (2007) Description logic. In: Blackburn P, van Benthem J, Wolter F (eds) Handbook of modal logic. Studies in logic and practical reasoning, vol 3. Elsevier, Amsterdam/Boston, pp 757–819

    Google Scholar 

  • Baader F, Nutt W (2007) Basic description logics. In: Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge/New York

    Google Scholar 

  • Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: The 19th international joint conference on artificial intelligence (IJCAI-05). Morgan-Kaufmann Publishers, San Francisco

    Google Scholar 

  • Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2007) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge/New York

    Google Scholar 

  • Calvanese D, de Giacomo G, Lembo D, Lenzerini M, Rosati R (2007) Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J Autom Reason 39(3):385–429

    MATH  Google Scholar 

  • Donini FM (2007) Complexity of reasoning. In: Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge/New York

    Google Scholar 

  • Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: The 12th international World Wide Web conference (WWW 2003), Budapest, pp 48–57

    Google Scholar 

  • Hayes P, Patel-Schneider PF, Horrocks I (2004) OWL web ontology language semantics and abstract syntax. W3C recommendation. http://www.w3.org/TR/owl-semantics/.. Accessed on 18 Oct 2012

  • Hitzler P, Krötzsch M, Rudolph S (2009) Foundations of semantic web technologies. Chapman & Hall/CRC, London

    Google Scholar 

  • Horrocks I, Patel-Schneider PF (2004) Reducing OWL entailment to description logic satisfiability. J Web Semant 1(4):345–357

    Google Scholar 

  • Horrocks I, Kutz O, Sattler U (2006) The even more irresistible SROIQ. In: The 10th international conference on principles of knowledge representation and reasoning (KR 2006), English Lake District. AAAI, pp 57–67

    Google Scholar 

  • Kazakov Y (2008) RIQ and SROIQ are harder than SHOIQ. In: The 11th international conference on principles of knowledge representation and reasoning (KR 2008), Sydney. AAAI, pp 274–284

    Google Scholar 

  • Krötzsch M, Simančík F, Horrocks I (2012) A description logic primer. CoRR abs/1201.4089, University of Oxford, Oxford

    Google Scholar 

  • Motik B, Fokoue A, Horrocks I, Wu Z, Lutz C, Grau BC (2009) OWL 2 web ontology language profiles. W3C recommendation. http://www.w3.org/TR/owl2-profiles/.. Accessed on 18 Oct 2012

  • Sattler U, Calvanese D, Molitor R (2007) Relationships with other formalisms. In: Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge/New York

    Google Scholar 

  • W3C OWL Working Group (2009) OWL 2 web ontology language document overview. W3C recommendation. http://www.w3.org/TR/owl2-overview/.. Accessed on 18 Oct 2012

Recommended Reading

  • Baader et al (2007) is the standard text for DLs; covers almost all major results in DLs, written in semi-textbook style; and requires some basics in mathematical logic.

    Google Scholar 

  • Hitzler et al (2009) is an introductory level textbook in semantic web technologies which also covers significant amount of DLs material, especially in the context of their application in the Semantic Web.

    Google Scholar 

  • Krötzsch et al (2012) is a text intended as a very first reading on DLs without requiring formal logic background.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kno.e.sis Center, 377 Joshi Research Center, Wright State University, Dayton, OH, USA

    Adila Krisnadhi

  2. Department of Computer Science and Engineering, Wright State University, Dayton, OH, USA

    Pascal Hitzler

Authors
  1. Adila Krisnadhi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pascal Hitzler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Calgary, Calgary, AB, Canada

    Reda Alhajj

  2. Department of Computer Science, University of Calgary, Calgary, AB, Canada

    Jon Rokne

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer Science+Business Media New York

About this entry

Cite this entry

Krisnadhi, A., Hitzler, P. (2014). Description Logics. In: Alhajj, R., Rokne, J. (eds) Encyclopedia of Social Network Analysis and Mining. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-6170-8_108

Download citation

Publish with us

Policies and ethics

Search

Navigation