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