PowerLoom® Documentation

PowerLoom Manual

The PowerLoom manual is still somewhat incomplete, but there should be enough information to get you started on building PowerLoom knowledge bases and using its various APIs.

The manual is available in the following formats:

For other formats such as the Emacs info format look in the sources/logic/doc directory of the PowerLoom release.

Annotated Examples

Below is a set of annotated examples that demonstrate various features of PowerLoom. These examples are simply HTML-formatted versions of the output of various demos that can be run from PowerLoom's demo menu (type (demo) at PowerLoom's command prompt to see the list of available demos). All examples are run interactively in the PowerLoom listener (a simple read/eval/print command interpreter) which uses |= as its prompt. User input is shown in bold face. The result of a command evaluation is shown in plain font immediately following the command input. Note, that not all commands produce results in which case the result space is empty. The following examples are quite old and have not yet been updated to follow the latest PowerLoom conventions. In particular, some of the annotations refer to an old system state and are no longer correct. However, they all do work and use correct PowerLoom 3.0 syntax and are still useful as introductory material.

Tutorial

Overview and tutorial slides are available in PDF format. The overview slides provide an introduction to logic-based knowledge representation and PowerLoom, followed by an introduction to PowerLoom and an annotated example. The slides conclude with a description of some of the advanced features, including explanation, whynot explanation, units and dimensions, and timepoint reasoning.

A variant of the overview and tutorial slides that Thomas Russ has used for guest lectures is also available in PDF format. This variant has more material tailored to using PowerLoom from Java, but does not include the information about units, timepoints or whynot explanation.

The the talk to go along with those slides is available as a Webcast.

PowerLoom and KIF

PowerLoom uses a variant of KIF to express definitional and assertional content. The sentential component of this variant is closest in flavor to that of KIF 3.0 . The main difference is that variables in quantified sentences and terms can be typed. 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 supports the representation of sentences that take other sentences as arguments. Note that KIF is one of the supported syntaxes of the upcoming Common Logic standard.

PowerLoom's definitional language such as its deffunction, defrelation, etc. commands 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 might have translation frontends to support knowledge bases and ontologies written in vanilla ANSI KIF, KIF-3.0 or Ontolingua.

The various KIF Manuals are useful to familiarize yourself with the basic concepts underlying KIF, but it is important to keep in mind that they only provide an approximate picture of legal PowerLoom syntax.

System Requirements and Installation Instructions

PowerLoom is very portable and has been tested on a variety of hardware and OS platforms. It is available in Common-Lisp, C++ and Java and has been run successfully under Linux, Sun Solaris, Windows-2000, MacOS 9 & X. The Lisp and Java versions are available on most OS platforms, the C++ version has so far only been tested on Unix platforms that support g++. See the PowerLoom manual for more detailed system requirements and installation instructions.

Release Notes

Release notes summarize user-visible changes for each PowerLoom release and can be found here. More detailed code-level change documentation can be found in the files .../sources/powerloom/ChangeLog and .../sources/stella/ChangeLog that are shipped with each release.

Code Documentaton

For Java programmers, we also provide documentation of the Java classes and methods that implement PowerLoom in javadoc format.
Caution: for historic reasons that have to do with STELLA-to-Java translation, most of those classes and methods are declared as "public", even though they are not part of the official PowerLoom or STELLA API. PowerLoom users should only use the public functions and types defined and used by the PLI interface, since all other functions might change without notice. In general it is a good idea to encapsulate calls to PowerLoom API functions to insulate yourself from necessary changes, even though we try to keep that API as stable as possible. These javadoc manuals are available:

Known Bugs

Nobody is perfect. Despite the fact that PowerLoom has been maturing for a long time and used extensively by us and others, there are still quite a few known and probably many more unknown bugs and missing features in the system. Some of them are more serious (or embarassing) than others. Look at the test suite files in the sources/logic/demos directory for annotations on which tests are currently failing. Here are a few of the bugs on the top of our list to fix:

PowerLoom is a registered trademark of the University of Southern California.


Information Sciences Institute PowerLoom Home Page
Last modified: May 27, 2006