IRIS Reasoner: Difference between revisions
Content added Content deleted
(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…') |
(No difference)
|
Latest revision as of 12:19, 27 August 2010
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.