Implementations
Server and client reference implementations
- Front ends and middle ends in Java, Lisp, & C
Example OKBC servers
- Ontolingua (Stanford KSL)
- Ocelot (SRI AIC)
- LOOM (ISI)
- Cyc (Cycorp)
- ATP theorem prover (Stanford KSL)
- Tuple KB (Stanford KSL)
Example OKBC clients
- Generic Knowledge Base Editor (SRI AIC)
- Java Ontology Tool (JOT)