The Description Logic Handbook: Theory, Implementation, and Applications - Baader, F; Calvanese, D; McGuinness, D; Nardi, D; Patel-Schneider, P
Cambridge University Press 2003. ISBN: 0521781760