"Handbook of knowledge representation" - читать интересную книгу автора (Frank van Harmelen, Vladimir Lifschitz, Bruce Porter)