Jump to content

IRIS Reasoner

From Rosetta Code
Revision as of 12:19, 27 August 2010 by rosettacode>EdK (Created page with '{{stub}} {{implementation|Datalog}} [http://iris-reasoner.org/ IRIS] - Integrated Rule Inference System is an extensible reasoning engine for expressive rule-based languages. C…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
IRIS Reasoner is an implementation of Datalog. Other implementations of Datalog.

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

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.

Cookies help us deliver our services. By using our services, you agree to our use of cookies.