Description Logics

This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to further reading.

Authors

• Markus Krötzsch
• Frantisek Simancik
• Ian Horrocks University of Oxford

Keywords

• Unified modeling language
• Ontologies
• OWL
• Semantics
• Intelligent systems
• Computational modeling
• Syntactics
• Knowledge based systems
• Cognition
• Description Logic
• Language Model
• Semantic Web
• First-order Logic
• Web Ontology Language
• Ontology Language
• Formal Semantics
• Global Status
• Individual Sets
• Complex Concept
• Entailment
• Specific Concepts
• Female Parent
• Universal Role
• Set Of Names
• knowledge representation
• tutorial