"Baader F., et al. The description logic handbook.. Theory, implementation and applications (CUP,2003)(ISBN 0521781760)(573s)_CsAi_.pdf" - читать интересную книгу автора