The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.].    Cambridge ; New York, N.Y. :  Cambridge University Press,  2010 . xix, 601 s.