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