PowerLoom System Documentation

Manual and Examples

Very preliminary PowerLoom manual (also available in postscript )
Example interactions with PowerLoom

KIF Documentation

PowerLoom uses a variant of KIF with object-oriented extensions to express definitional and assertional content. The sentential component of this variant is closest in flavor to that of KIF 3.0 . The main differences are that relations in PowerLoom are (by default) polymorphic, and that variables in quantified sentences and terms can be typed. Not yet supported are logical terms generated by if or cond, the biconditional <=>, and the holds predicate. PowerLoom does not have sequence variables, but it allows the definition of functions and relations with a variable number of arguments. PowerLoom does not support quotation via quote, instead, it will support sentences that take propositional arguments. PowerLoom's definitional language is somewhat more different from its counterpart in KIF 3.0. It has similarities with parts of Ontolingua and is described in more detail in the manual. Future versions of PowerLoom will have translation frontends to support knowledge bases and ontologies written in vanilla KIF or Ontolingua.

KIF Manuals

Release Notes

Release notes provide an overview of the changes and improvements of PowerLoom since the last release.

Under construction.

Last modified: Nov 17, 1997