RIF RDF Combinations support in riftr + PR Logistics

I added support for importing RDF into riftr [0].  Using its partial
translation to swi-prolog, it can now pass the
RDF_Combination_Constant_Equivalence tests.  I'm only doing simple
entailment right now.  I believe riftr could pass all the Core and BLD
PET RDF-simple-entailment imports tests, except for the (significant)
missing parts of the prolog translation for RIF in general (like most
datatypes).  So, to the extent that we can treat RIF-RDF combinations as
an orthogonal feature, I think we can call it done.  I don't actually
think the other parts are very hard to do, given the framework I have in
place, but I don't think I'll be able to give them any mindshare for the
next couple of weeks.

I believe this means we're now clear to request PR.  As I said, since
I'll just be getting off a plane, I may miss next week's meeting.
Chairs, please consider this my proxy YES vote for going to PR on all
our CR documents, if I don't make it.

(Before we actually have the PR transition meeting with the Director,
we'll need to get the responses-to-comments clearly documented, and
draft a proper transition request, like [1].  I believe we'll also need
to copy OWL on the XSD dependency [2].)

    -- Sandro

[0] Yes, I still owe an implementation report.  Source code is at
    http://github.com/sandhawke/riftr
[1] http://www.w3.org/2007/OWL/wiki/PR_Transition_Request
[2] http://www.w3.org/TR/2009/PR-owl2-overview-20090922/#sotd-xml-dep

Received on Wednesday, 17 March 2010 20:18:02 UTC