Who has built an OKBC compliant 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, ATP (a theorem porver), file system KB, Tuple-KB and CLOS.

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.

The Section of Medical Informatics (SMI) at Stanford has built an OKBC server for their system Protege. 

Next: What servers are available for me to use?
Top: OKBC FAQ Table of Contents