The Description Logic Handbook - Baader, F; Calvanese, D; McGuinness, D; Nardi, D; Patel-Schneider, P (University Press, 2003)
(ISBN 0-521-78176-0)