Contexts, Canons and Coreferent Types

A major area of development in the field of knowledge representation is the idea of contexts. In a large system a reasoner can't re-examine everything known all the time. To deal with the shear size and complexity of large knowledge bases like CYC, a reasoner must be able to limit its search to some context relevant to the immediate problem at hand.