Knowledge representation and reasoning - Brachman, Ronald J (Morgan Kaufman, 2004)