Knowledge Representation: Logical, Philosophical, and Computational Foundations