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