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