Knowledge representation - Brachman, Ronald J.; Levesque, Hector J.; Reiter, Raymond (MIT Press, 1992)