IRIS Reasoner

IRIS - Integrated Rule Inference System is an extensible reasoning engine for expressive rule-based languages.

Currently IRIS supports the following features:

Safe or un-safe Datalog
with (locally) stratified or well-founded 'negation as failure'
function symbols
comprehensive and extensible set of built-in predicates
support for all the primitive XML schema data types

The following bottom-up rule evaluation algorithms are currently supported:

Naive
Semi-naive

The following program evaluation strategies are currently supported:

Stratified bottom-up
Well-founded semantics using alternating fixed point

The following program optimisations are currently supported:

Rule filtering (removing rules that do not contribute to answering a query)
Magic sets and sideways information passing strategy (SIPS)

To learn more about the theoretical results that the reasoner is based upon have a look at the theoretical results.

IRIS Applications

IRIS is a available under the GNU lesser general public licence (LGPL). It has been developed with the aim to support reasoning over WSML ontologies, but can also be used in many other contexts. See below for the use cases we know of:

If you are using IRIS in another context, please inform us and we will be pleased to describe your application on this website.

News

28 Feb 2008	IRIS version 0.5.7 released. This release introduces the first version of an alternating fixed point method to compute the well-founded model. Also included is a fix for an important bug in rule evaluation. The magic sets optimisation is still disabled for this release.
13 Feb 2008	IRIS version 0.5.6 released. This is an interim release to fix an important bug in the rule compiler and also offer greater flexibility in rule format using: constructed terms with equality and inequality (unification) positioning of negated ordinary predicates The magic sets optimisation is still disabled for this release.
01 Feb 2008	IRIS version 0.5.5 released. This is an interim release for function symbols and an all new, faster evaluation implementation. Also included is a GUI user environment (org.deri.iris.DemoW), new built-in predicates (including a regular expression matcher) and numerous bug fixes. However, the magic sets optimisation is disabled for this release.
08 Nov 2007	IRIS version 0.5 released. More built-in predicates, local stratification and query containment. Fixes for magic sets (conjunctive queries). New behaviour for built-ins and inconsistent data types.
19 Sep 2007	IRIS version 0.4 released. Some database integration work started, lots of modifications to the date/time data types and many bug fixes.
13 Jul 2007	We have created an initial draft of our web site and introduced a daily build system.