Fwd: New PowerLoom 3.2.0 release now available

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Fwd: New PowerLoom 3.2.0 release now available

Rich Morin

Some folks here may find this interesting.  Note that, among
other things, the PowerLoom license has been opened up.

-r

 --- Begin Forward ---

 From: Hans Chalupsky <[hidden email]>
 Date: Sat, 27 May 2006 19:13:28 -0700
 To: [hidden email]
 Cc: [hidden email]
 Subject: [powerloom-announcements] New PowerLoom 3.2.0 release now
available
 Sender: [hidden email]

 Hi,

 after a long release hiatus, we are releasing a new version 3.2.0
 of the PowerLoom knowledge representation and reasoning system.  The
 most important change from the previous release is that PowerLoom is
 now available under a very flexible open-source licensing scheme which
 should make it easy to integrate with other systems and even with
 commercial applications.  This version also includes all STELLA
 sources, which allows you to make your own modifications if you are so
 inclined.

 There have been numerous bug fixes and there are also some new
 commands and features and supported platforms which are summarized in
 the release notes appended below.  To get this latest version go to

     http://www.isi.edu/isd/LOOM/PowerLoom/

 or directly to the download page at

     http://www.isi.edu/isd/LOOM/PowerLoom/download.html

 We also linked in a fairly up-to-date tutorial presentation at


http://www.isi.edu/isd/LOOM/PowerLoom/documentation/PowerLoom-Overview-Slides.pdf

 which is recommended reading, since it gives a nice summary of
 PowerLoom's features and also describes some advanced features such
 as the units and time point support that haven't made it into the
 manual yet.

 Enjoy and let us know if there are any problems.

 Hans Chalupsky and Tom Russ

 --------------------------------------------------------------------------
 PowerLoom home page:                 http://www.isi.edu/isd/LOOM/PowerLoom
 PowerLoom forum:                                   [hidden email]
 PowerLoom request line:                      [hidden email]
 STELLA home page:                       http://www.isi.edu/isd/LOOM/Stella
 --------------------------------------------------------------------------

 PowerLoom 3.2.0 Release Notes

 General:
 - now released under a flexible open-source licensing scheme and all STELLA
   source code included
 - now ships with PowerLoom Extensions system which supports powerful
reasoning
   with units and dimensions and simple temporal reasoning with time points
and
   durations
 - new scripts to conveniently invoke PowerLoom's C++ and/or Java versions
   under Unix, MacOS and Windows
 - consistently renamed all KB and demo files to use a `.plm' extension
 - many bug fixes

 PowerLoom commands:
 - the PowerLoom command loop now prints the current module with the prompt
 - new `list-modules' command lists modules currently defined in the system
 - new `powerloom-information' displays version information of loaded
systems
 - new `reset-powerloom' resets PowerLoom to its initial state
 - new `clear-caches' clears cached query results and memoization tables
(this
   is occasionally useful for debugging or profiling)
 - `load' and `demo' now support a file load path where files can be
specified
   without directory and extension information as long as they can be found
in
   the current file load path
 - new commands `set-load-path', `get-load-path', `push-load-path',
   `pop-load-path', `add-load-path' and `drop-load-path' to manipulate the
file
   load path
 - new `time-command' to measure the execution time of a PowerLoom command

 PL-KERNEL-KB built-ins:
 - new `object-name' function to map a PowerLoom object onto its namestring
 - new `name-to-object' function to find or create a PowerLoom object given
a
   namestring.
 - new `absolute-value' and `negate' relations for numbers
 - the relation argument type for `instance-of', `type-of', `domain',
`range',
   `nth-domain', `range-type', `qualified-range-min-cardinality',
   `qualified-range-max-cardinality', `qualified-range-cardinality' and
   `refutation-disjoint' has been generalized from `concept' to
`collection' to
   allow the use of unnamed collections defined via `setofall' or `kappa'.
 - `holds' specialist: generalized to provide an `all-facts-of'-style
result in
   case the relation variable is unbound.  For example,
   `(retrieve all (holds ?r a ?x))' will return all binary relations ?r that
   have been asserted with `a' as their first and ?x as their second
argument.

 PLI:
 - new `list-modules' function to list all modules currently defined in the
system
 - new `get-operator' function to yield the interned operator
representation of
   operators such as "AND", "OR", "<=>", etc.
 - new `is-inconsistent' function to test for inconsistent truth values
 - name-to-object mapping in the following functions has been changed:
   - `get-object, `get-concept', `get-relation', `create-object',
`create-function',
     `create-relation', `create-function'
   - now the name string is interpreted to be the print name of a STELLA
     symbol the way it would be spelled when typing a PowerLoom command in
the
     command loop.  For example, `(get-object "PL-USER/|foo bar|")'.  This
     allows the use of fully qualified names and the use of names that come
     from different name spaces.
   - this change is PARTIALLY INCOMPATIBLE with previous releases.  For
     unqualified symbols that don't contain any special characters, there
is no
     change; for names that do contain special characters, existing code
needs
     to be adapted to include the appropriate escape characters.
 - INCOMPATIBLE CHANGES to the `get-name' series of functions as follows:
   - `get-name' changed to always return a fully qualified name.
   - new `get-short-name' added to return only the name portion.
   - new `get-name-in-module' added to provide new access to a name that
will be
     what is needed to access the named object from the given module.
 - INCOMPATIBLE CHANGES to `get-nth-value' and friends to take module and
   environment arguments. These are needed to properly get values from
   proposition arguments that are skolems bound to values.
 - New functions `get-keyword', `get-symbol', `create-keyword',
`create-symbol'.
 - `get-concept-instances', `get-concept-direct-instances': Make these use
   inference when not in an assertion environment, to give more complete
results.

 STELLA updates:
 - now uses STELLA 3.4.0
 - support for various new Common Lisps such as CLisp and SBCL (see manual)
 - support for MinGW g++ under Windows which allows the generation of
   standalone C++ Windows executables
 - Lisp version uses struct translation by default for improved speed
 _______________________________________________
 powerloom-announcements mailing list
 [hidden email]
 http://mailman.isi.edu/mailman/listinfo/powerloom-announcements

 --- End Forward ---

--
http://www.cfcl.com/rdm            Rich Morin
http://www.cfcl.com/rdm/resume     [hidden email]
http://www.cfcl.com/rdm/weblog     +1 650-873-7841

Technical editing and writing, programming, and web development
-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html