"The description logic handbook" - читать интересную книгу автора (Baader F., et al. (eds.))