There is an insanely urgent need to solve a large ontology problem right now. The problem is that now that the world wide web has critical mass, how do you make sense of it all? How can multiple providers exchange data?
Papers on logic, problem solving, and KQML
Knowlege Sharing Papers
from Stanford. This is a link into
The Knowledge Sharing Effort public library.
An Ontology for Engineering Mathematics
KIF server at Stanford login screen.
Ontolingua reference manual.
KIF file format
Toward Distributed Use of Large-Scale Ontologies
Lockheed's Knowledge Centered Design
project, from their
Ontology from Italy