Re: ACTION-716: Add more RIF test cases

Sandro sent word to Mike, yesterday afternoon, about the new tests.  I was planning on following up shortly (before the week's end) if he hasn't responded. 

-- 
Chime Ogbuji
Sent with Sparrow (http://www.sparrowmailapp.com)


On Tuesday, November 27, 2012 at 12:42 AM, Lee Feigenbaum wrote:

> Thanks, Chime.
> 
> In reviewing last week's minutes, there was talk about sync'ing up with 
> Mike Dean on (I believe) the RIF tests. Have you had a chance to do that?
> 
> Lee
> 
> On 11/25/2012 10:09 PM, Chime Ogbuji wrote:
> > I have added new SPARQL 1.1 RIF Entailment Regime tests from those listed here:
> > 
> > http://www.w3.org/2005/rules/wiki/Category:Core_Test
> > 
> > In the end, 4 additional tests were added (rif03, rif04, rif05, and rif06).
> > 
> > rif03 is a basic test of Frames and rif04 is an interesting case that simultaneously exercises OWL and RIF Core entailment. rif04.ttl imports an OWL ontology (Modeling_Brain_Anatomy-import001.rdf) using the entailment:OWL-Direct profile. rif05 tests the importing of RDF into the referenced RIF Core document as well as the use of builtins. rif06 tests interaction between RDF and RIF with respect to blank nodes.
> > 
> > The guideline I used in picking from these tests was to select those involving implication over facts, with terms (positional or Frames) that were compatible with RDF (binary terms, for example), and were in the PositiveEntailmentTest category.
> > 
> > These have been committed to CVS:
> > 
> > rev 1.24 "Added 4 additional SPARQL 1.1 RIF Entailment tests from http://www.w3.org/2005/rules/wiki/Category:Core_Test"
> > 
> > I'm not sure what the process is for producing a new archive, but the file (sparql11-test-suite-20121023.tar.gz) referenced in http://www.w3.org/2009/sparql/docs/tests/ needs to be updated for prospective implementations to use in generating their reports

Received on Tuesday, 27 November 2012 12:39:32 UTC