W3C home > Mailing lists > Public > public-rif-comments@w3.org > February 2010

Implementation Report

From: Jeff Sherman <jsherman@bbn.com>
Date: Tue, 16 Feb 2010 13:12:29 -0500
To: <public-rif-comments@w3.org>
Message-ID: <004b01caaf33$9a148770$ce3d9650$@com>
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/

 
Received on Wednesday, 17 February 2010 00:06:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 17 February 2010 00:06:36 GMT