Skip to content

Latest commit

 

History

History
51 lines (33 loc) · 2 KB

README.md

File metadata and controls

51 lines (33 loc) · 2 KB

IRIS Reasoner

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:

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 Applications

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: