IRIS - Integrated Rule Inference System

File Release Notes and Changelog

Release Name: iris v 0.1

Notes:
Announcing the first release of the Integrated Rule Inference System (IRIS) v0.1.

This code is released under a LGPL license.

IRIS v0.1 supports full Datalog extended with (stratifed) default negation. 

More information about IRIS features, related to this release, can be found in the following presentation:
http://members.deri.at/~stijnh/talk_tf_iris.pdf 

General information about IRIS:
http://wiki.wsmx.org/index.php?title=Reasoning 

REMARK: 

The IRIS requires WSML2Reasoner framework which handles translations from WSML to Datalog. The framework is available on:
http://tools.deri.org/wsml2reasoner/ 

The IRIS requires JGraphT, a free Java graph library available on:
http://sourceforge.net/projects/jgrapht/

The IRIS requires Java 5.0 installed as the default JRE on your system.

Questions, comments, suggestions welcome, 

Darko

Changes: