IRIS Reasoner

IRIS

The Formal Languages and Reasoning group is developing a Datalog engine called IRIS (short for Integrated Rule Inference System), homepage: http://iris-reasoner.org/. IRIS is a reasoner for Datalog extended with locally stratified or well-founded negation, function symbols, unsafe-rules, build-in predicates and XML schema data types.

The reasoner supports bottom-up evaluation using naive and semi-naive with (locally) stratified and well-founded negation.

An overview and more detailed information can be found in the Reasoner Architecture section.

Tasks

In Progress

• Well-founded Semantics (WSML-Rule) - In progress
• Unsafe Rules (WSML-Rule) - In progress
• Performance Harness - In progress

Future

• Database Integration as Evaluation Strategy - Step 1 implemented, steps 2 and 3 - not started
• Logical Entailment Suggested
• Description Logics Component (WSML-DL) Not started
• Rule Interchange Format (RIF) Waiting for proposed standard from W3C working group
• Distributed Reasoning Research completed
• Query-sub-Query evaluation Strategy Implementation 70% complete
• Unification Algorithm Implementation 70% complete
• Dynamic Filtering Not started

Completed

• External Data Sources (SUPER) - Completed 14.02.2008
• Function Symbols (WSML-Rule) Completed 01.02.2008
• Query Containment (SWING) (SUPER) - First version completed 07.11.2007
• Locally Stratified Negation (WSML-Flight) - Completed 06.11.2007
• Full Datalog Support Completed 31.10.2006
• Stratified Default Negation Completed 31.10.2006
• Built-in Predicates Completed 30.09.2006
• WSML and XML Schema Data Types Completed 31.10.2006
• Naive Evaluation Completed 31.10.2006
• Semi-naive Evaluation Completed 31.10.2006
• Semi-naive Evaluation with Magic Sets Rule Re-writing Completed 31.10.2006

Links

The official website: http://iris-reasoner.org/ has licensing details, user guides, change log and a daily build with unit test report, javadoc documentation and compiled jar files to download. Also, an online demo is available for experimenting with datalog programs and different evaluation strategies.

Requests for support should first be directed by email to: iris-reasoner-support AT lists DOT sourceforge DOT net

Developer Links

The IRIS software project is hosted by sourceforge at http://sourceforge.net/projects/iris-reasoner/. The CVS repository contains:

• IRIS core source code
• parser source code
• unit and functional tests
• design documentation
• user guides
• website material

Please use the sourceforge trackers:

• bug tracker for users/developers to raise bugs and track their progress
• feature requests to request new and specific features
• maintenance to record documentation tasks, performance enhancements and usability improvements

The IRIS release procedure describes the steps to follow to make an official software release.