Knowledge Representation: Logical, Philosphical, and Computational Foundations - Sowa, JF (PWS Publishing, 1995)