I am pleased to announce that the Loom group has changed the licensing
terms of the Loom(tm) Knowledge Representation Language. It is now
provided under the terms of an open source license with no commercial
restrictions. The details of the license can be found at
http://www.isi.edu/isd/LOOM/loom-public-license.html
Loom is a language and environment for constructing intelligent
applications. The heart of Loom is a knowledge representation system
(description logic) that is used to provide deductive support for the
declarative portion of the Loom language. Declarative knowledge in Loom
consists of definitions, rules, facts, and default rules. A deductive
engine called a classifier utilizes forward-chaining, semantic
unification and object-oriented truth maintainance technologies in order
to compile the declarative knowledge into a network designed to
efficiently support on-line deductive query processing.
The Loom system also implements a logic-based pattern matcher that
drives a production rule facility and a pattern-directed method
dispatching facility that supports the definition of object-oriented
methods. The high degree of integration between Loom's declarative and
procedural components permits programmers to utilize logic programming,
production rule, and object-oriented programming paradigms in a single
application. Loom can also be used as a deductive layer that overlays
an ordinary CLOS network. In this mode, users can obtain many of the
benefits of using Loom without impacting the function or performance of
their CLOS-based applications.
For more information, see the web site at
http://www.isi.edu/isd/LOOM/loom-public-license.html
Loom is a trademark of the University of Southern California.
Registration of the trademark is pending.
--
Thomas A. Russ, USC/Information Sciences Institute