Is anyone else building an OKBC server?

At SRI, OKBC bindings were defined for LOOM, Theo, SIPE-2, and Ocelot.

At Stanford KSL, an OKBC server has been implemented for Ontolingua and ATP (a theorem porver).

The University of Southern California's Information Sciences Institute has now produced its own version of an OKBC binding for LOOM. An OKBC binding for Cyc has been defined by Cycorp.

Next: If I build a knowledge base using a particular server, am I then "tied" to that server?
Top: OKBC FAQ Table of Contents