This paper provides a self-contained first introduction to d escription log- ics (DLs). The main concepts and features are explained with examples before syn- tax and semantics of the DLSROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further reading.
['Markus Krötzsch', 'Frantisek Simancik', 'Ian Horrocks']
A Description Logic Primer