Looking for RIF implementations

For RIF to pass from "Candidate Recommendation" (CR) to "Proposed Recommendation" (PR), we have to pass a set of exit criteria.  At the moment, the only one we are lacking is to have two implementations of every RIF-DTB builtin.  At the moment, the picture looks like this, as far as we can tell: we have two implementations of all builtins except the casting and guard predicates for rdf:XMLiteral, rdf:PlainLiteral, and xs:Boolean.

Does anyone have an implementation of these three sets of predicates?

Here's the implementations we considered:
STI2 - complete DTB implementation
CTIC - all datatype builtins except guards and casting functions
Oracle - all datetime, lists, numerics, and string builtins

-Chris
-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty

Received on Monday, 15 March 2010 15:36:48 UTC