This material is listed mainly for the curious who would like to delve deeper into Description Logics. At the time of writing, a DL textbook is in the making.
- Ulrike Sattler. Reasoning in description logics: Basics, extensions, and relatives. In G. Antoniou et al., editors, Reasoning Web 2007, volume 4636 of LNCS, page 154-182. Springer, 2007. OR Anni-Yasmin Turhan. Reasoning and explanation in EL and in expressive Description Logics. In U. Assmann, A. Bartho, and C. Wende, editors, Reasoning Web 2010, volume 6325 of LNCS, pages 1-27. Springer, 2010.
- F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. PatelSchneider (Eds). The Description Logics Handbook. Cambridge University Press, 2008. Chapters 1 and 2 (and the rest if you can’t get enough of it).