Knowledge representation logical, philosophical, and computational foundations - Sowa, John F. (Brook/Cole, 2000)