Baader, Franz, Diego Calvanese, Daniele Nardi, Peter Patel-Schneider, and Deborah McGuinness. "The Description Logic Handbook: Theory, Implementation and Applications." Cambridge: Cambridge University Press (2003).