The Description Logic Handbook - Baader, F; Calvanese, D; McGinness, DL; Nardi, D; Patel-Schneider, PF (Cambridge University Press, 2003)
p 555.