Knowledge Representation Logical Philosophical And Computational Foundations - Sowa J.F.; Sowa J.F. (Brooks, 2000)