opencyc

OpenCyc is the open software version of the Cyc knowledge base and reasoning engine - essentially a combination of Ontology, Common Sense Knowledge and containing hybrid heuristic and formal Theorem Provers, originally written to run on Symbolics machines, but later built on top of their own lisp core (itself implemented in CMUCL). Modern versions also exist with Java bindings.

OpenCyc, one of many Knowledge Representation Systems, is currently in Production stage; Version 1.0 was released on 14 July 2006. OpenCyc is distributed under the terms of the LGPL. The project resides at http://www.opencyc.org.

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively