Two theses of knowledge representation: Language restrictions, taxonomic classification and the utility of representation services - Doyle, J; Patil, R (Artificial Intelligence, 1991)