The core of Cyc's "ontology" (implicit theory of reality, I suppose)
has been released on the web this month; you should be able to reach it at
http://www.cyc.com/cyc-2-1/intro.html. There are also plans to release
a Cyc inference engine and an HTML browser for the knowledge base (for
Unix, anyway), and the specifications of CycL. I gather that the plan is
to allow people to create specialized knowledge bases in their webs,
which will then become accessible for people using the inference engine.
Cycorp is apparently planning to keep most of its accumulated knowledge
base proprietary; it will be interesting to see how quickly a free
public-domain one develops on the web.
-mitch
http://www.thehub.com.au/~mitch