Knowledge representation: logical, philosophical, and computational foundations - Sowa, John F (Thomson, 2002)