Text copied from iris-reasoner.org.
Code copied from sourceforge.
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
- equality in rule heads
- 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 supported:
- Naive
- Semi-naive
The following top-down evaluation strategies are supported:
- SLDNF
- OLDT
The following program evaluation strategies are supported:
- Stratified bottom-up
- Well-founded semantics using alternating fixed point
The following program optimisations are 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.
The continued development of IRIS has been funded in part by SOA4All a European Framework 7 research project.
IRIS is a available under the GNU lesser general public licence (LGPL). It has been developed with the aim of supporting reasoning over WSML ontologies, but can also be used in many other contexts. See below for the use cases we know of: