Jarrar.lecture notes.aai.2012s.descriptionlogic
An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.
An Introduction to Description Logics (chapter 2 of DLHB)