Knowledge representations Logical, philosophical and computational foundations - SowalhJohn F.