FLORA-2 is an advanced object-oriented knowledge base language and application
development environment. The language of FLORA-2 is a dialect of F-logic with
numerous extensions, including meta-programming in the style of HiLog and
logical updates in the style of Transaction Logic. FLORA-2 was designed with
extensibility and flexibility in mind, and it provides strong support for
modular software design through its unique feature of dynamic modules.
Applications of FLORA-2 include intelligent agents, Semantic Web,
knowledge-bases networking, ontology management, integration of information,
and more.
FLORA-2 relies on the XSB inference
engine, so XSB must be installed in order to
use FLORA-2. This release of FLORA-2 requires the latest released version
of XSB.
September 9, 2007: After more than 2 years of development, FLORA-2 version
0.95 (Androcymbium) has been released.
This release includes a major makeover of the syntax, which both simplifies it
and extends it with new features.
These changes ensure
greater compatibility with other F-logic based languages, such as
OntoBroker
and
FLORID.
Details of these changes can be found on the Web site of
the F-logic Forum working
group.
There is a utility to help with syntax
conversion from earlier versions.
In addition to the syntax,
a wealth of libraries and packages has been added, including
a new Java API and
FLORA-2 Visualizer and Editor.
Please see release notes for details.
FLORA-2 comes with comprehensive manuals and a
tutorial, which provides an overview of
theoretical foundations as well as of
the FLORA-2 language and system. The tutorial is
accompanied by programming examples and exercises.
Related links:
