We are building a library of formal representations of common actions, entities, and modifiers to enable building knowledge bases efficiently. The components are implemented in KM, our language for knowledge representation and automated reasoning. Both the Component Library and KM are protected by copyright, but are distributed under a GNU license.
Most components have (or will have!) two descriptions:
Both the specifications and the axioms use a set of relations and properties that are defined in our slot dictionary.
In the taxonomy displayed to the left, component names are green when they have been released for general use. Components displayed in red have not yet been released. Finally, components displayed in yellow are not connected to our taxonomy, either because of some error or because they are very preliminary.
The KM axioms for most components includes "test-cases". These test cases are executed every day to ensure that errors have not crept into the component library.
Building the Component Library is a long-term project, and we've only just begun. So, please visit us again to see what's new. If you would like to use the Component Library, or contribute to it (!), please contact Bruce Porter.