“Description Logic”

• An area in knowledge representation

• • a special type of “structured” First Order Logic (logic with safety guards…)
  • formalism based on “concepts” (i.e., classes), “roles” (i.e., properties), and “individuals”
  • based on model theoretic semantics (like RDF, RDFS, and OWL!)

• There are several variants of Description Logic

• • i.e., OWL DL and Lite are embodiments of distinct Description Logics
  • • for connoisseurs: OWL DL ≈ SHOIN (D), OWL Lite ≈ SHIF (D)
  • some major differences: usage of URI-s , reference to XML Schema datatypes, built-in annotation, …