The Description Logic Handbook : Theory, implementation, and applications - Baader, Franz; Calvanese, Diego; Nardi, Daniele; Patel-Schneider, Peter F. (Cambridge University Press, 2007)