The description logic handbook theory implementation, and applications - Baader, Franz; Calvanese, Diego; McGuinness, Deborah; Nardi, Daniele; Patel - Schneider, Peter F. (Cambridge University Press, 2007)