Knowledge Representation: Logical, Philosophical, and Computational Foundations

John F Sowa