Sept. 24: A recent review of knowledge base content by OpenCyc ontologists has revealed that certain constants have incomplete minimal definitions. A minimal definition for a constant should include:
- all significant taxonomic assertions (e.g. those using #$isa, #$genls, #$genlPreds, etc.);
- all constraining assertions for predicates and denotational functions (e.g. those using #$argIsa, #$argGenls, #$resultIsa, #$resultGenls);
- a comment that clearly and accurately expresses the intended meaning of the constant;
- other requirements may be added to this list at the ontologists' discretion.
Although many of the constants with incomplete minimal definitions do have many other assertions in the Cyc knowledge base, the minimal definitions are a prerequisite for any release of OpenCyc. This should not affect the release date of OpenCyc 1.0 (currently slated for delivery before the end of 2001), but it will delay the open beta release of OpenCyc 0.9B for several months. New dates for OpenCyc 0.9B will be provided as they become available.