@maggi

Knowledge Representation -- Logical, Philosophical and Computational Foundations

. Brooks/Cole, Pacific Grove, CA, (2000)