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:

• The specification defines the component and gives its relations and properties.
• The set of axioms for the component is a KM representation that supports automated reasoning and question-answering.

See the GNU General Public License

I AGREE WITH THE LICENSE / Proceed

I DO NOT AGREE WITH THE LICENSE / Cancel

Back to RKF Group Home Page Created and maintained by Dan Tecuci
Last modified Nov 2, 2000