Guarino, N. Review of Knowledge Representation: Logical, Philosophical, and Computational Foundations. AIMag 2001, 22, 123.