"Logic-Based Knowledge Representation" - читать интересную книгу автора (Baader F)