Knowledge Representation - Brachman (IEEE, 2003)