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