Implementation Report

RIF IMPLEMENTATION REPORT

1.  Jeff Sherman, Mike Dean, BBN Technologies.

2.  SILK to RIF Serializer and Parser ( <http://silk.semwebcentral.org>
http://silk.semwebcentral.org).  SILK is an advanced knowledge
representation language and reasoning system.  The software produces RIF in
XML from SILK and SILK from RIF XML.

3.  RIF-BLD for now but the parser/serializer are intended to support a
highly expressive extension of RIF beyond BLD.

4.  The implantation passes test that deal with class membership,
inheritance, and equality.  The implementation currently fails tests that
deal with built-in and external function calls.  It also fails tests that
deal with broken models where everything is entailed.  We plan on fully
supporting the former.  With regard to the latter, we plan on supporting the
inferring and reporting of an integrity constraint violation.

5.  Not yet.

6.  The system currently allows for serialization of SILK with equality in
rule heads.

7.  The RIF Candidate Recommendation is ready to proceed along the standards
track toward being a W3C Recommendation

8.  We don't support built-ins yet but plan on supporting those specified in
http://www.w3.org/TR/rif-dtb/