Knowledge representation:logical, philosophical and computational foundations - Sowa, John F (Vikas Pub, 2000)