Re: RIF Implementation Report

Dear all,

I'm happy to announce the release of RIF4J 0.3.1 and IRIS 0.8.1.

RIF4J (http://rif4j.sourceforge.net/) is a Java object model, parser (XML)
and serializer (presentation, XML) for RIF-BLD. It provides a translation
from RIF-BLD formulas to Datalog rules compatible with the Datalog system
IRIS. The Datalog rules can be processed by IRIS in order to carry out
RIF-BLD reasoning tasks (logical entailment). RIF4J combined with IRIS
supports all datatypes and built-ins defined in RIF-DTB and provides
preliminary support for RIF's list terms and reasoning with combinations of
RIF rules and RDF graphs under the Simple Entailment semantics. The system
has been tested against the RIF-BLD test cases from the repository and
passed a majority of them (more information will be provided in the near
future). Translation from Datalog rules to RIF-BLD formulas is not yet
implemented, therefore, the system can only be considered as a *consumer* at
the moment.

Rule System: IRIS (http://www.iris-reasoner.org/)
Organization Contact: Adrian Marte (adrian.marte@sti2.at), STI Innsbruck (
http://www.sti-innsbruck.at/)
RIF dialect: BLD+DTB
Consumer, Producer Function: Consumer
Impl. language & license: Java, Apache License 2.0
Time frame: Available

Best regards,
Adrian

On Fri, Dec 4, 2009 at 12:21, Jos de Bruijn <debruijn@inf.unibz.it> wrote:

> Dear Adrian,
>
> Thank you very much for your implementation report. We appreciate the
> feedback.
>
> We have two further questions concerning your implementation:
> - will you support the datatypes and built-ins defined by RIF-DTB [1],
> and to what extent? In other words, which datatypes and built-ins does
> your implementation support?
> - have you performed any of the test in the RIF Test Cases suite [2]? If
> so, could you send us a report of the test results [3]?
>
> Thanks.
>
>
> Best, Jos
>
>
> [1] http://www.w3.org/TR/rif-dtb/
> [2] http://www.w3.org/2005/rules/wiki/Test
> [3] http://www.w3.org/2005/rules/wiki/Test#Reporting_Test_Results
>
> Adrian Marte wrote:
> > Dear RIF working group,
> >
> > I am just writing to inform you that we are developing an open-source
> > RIF-BLD Java implementation and hope to release a first version of our
> > software at the end of this year. We will publish the code with a
> > liberal open-source license and we would like to be added to the list of
> > implementations on the RIF wiki.
> >
> > The software will be delivered in two components:
> >
> > 1. RIF/XML parser/serialiser - that translates RIF XML documents to a
> > Java object model (that can be programmatically modified) and a
> > serialiser that converts back to RIF/XML format.
> >
> > 2. Reasoner components - this translates the Java object model to
> > another representation suitable for the reasoner (the reasoner
> > components used are from the IRIS set of reasoning components).
> >
> > To answer the points requested on the submissions wiki page:
> >
> > 1. Adrian Marte, STI Innsbruck (www.sti2.at <http://www.sti2.at>) and
> > others (Barry Bishop, Christoph Fuchs, Matthias Pressnig, Daniel Winkler)
> >
> > 2. The two components are the parser/serialiser/object model called
> > "RIF4J" and the reasoner, which  will consist of enhancements to
> > existing software components (WSMO4J, IRIS, WSML2Reasoner) which can
> > simply be called "IRIS". For a one sentence description: "Parsing and
> > translation code on top of the IRIS rule-engine". The software will both
> > consume and produce RIF rule sets.
> >
> > 3. We will support RIF-BLD - which matches with our existing Datalog
> > rule-engine, although we have extended this with new data-types and
> > built-ins..
> >
> > 4. We plan to make this implementation conformant.
> >
> > 5. RIF RDF and OWL compatibility has not been addressed yet.
> >
> > 6. We implement some at-risk features, including "equality in rule
> > conclusion".
> >
> > 7. We would encourage early standardisation on RIF. The most confusing
> > aspect to RIF so far has been the XML syntax and its inconsistent use of
> > XML element names, both in terms of upper/lower case and abbreviations.
> >
> > Regards,
> > Adrian Marte
>