Knowledge representation and reasoning - Brachman, Ronald J. 1949- (Elsevier, 2004)