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