W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2008

Re: RIF testcases API (non-normative)

From: Axel Polleres <axel.polleres@deri.org>
Date: Fri, 22 Feb 2008 16:50:12 +0100
Message-ID: <47BEEF34.3040501@deri.org>
To: axel@polleres.net
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Axel Polleres wrote:
> Proposal:
> 
> I suggest for the testcase for BLD based dialects...
> to use the SPARQL API (i.e. SPROT, see [1])
> with a slight variation of the SPARQL interface:
> 
> The standard format for SPARQL queries, a bit abstracted is:
> 
> SELECT Vars
> FROM dataset
> WHERE { graph pattern }
> OFFSET integer
> LIMIT integer
> 
> which we extend as follows:
> 
> SELECT Vars
> FROM dataset | FROM ruleset
> WHERE { graph pattern } | WHERE { rif_condition_w_free_variables_Vars }
> 
> rif_condition_w_free_variables_Vars is a RIF condition with
> the free variables Vars being a superset of Vars.
> and the query should return bindings which if
> applied to the condition make the
> entailed by the RIF-RDF combination given by the
> ruleset and RDF merge of all RDF datasets in FROM clauses.
> 
> The good thing is that we can use the input and output format of the 
> SPARQL enpoint API as-is in this simple proposal and we should publish 
> this as a simple API for RIF testcases at the moment.
> 
> The description of this non-normative API should go in the testcases 
> document... maybe some more details needed, but I think it is fairly 
> simple.

p.s.: As for simple ground entailment tests,
you can just use ASK queries.



-- 
Dr. Axel Polleres
email: axel@polleres.net  url: http://www.polleres.net/

rdfs:Resource owl:differentFrom xsd:anyURI .
Received on Friday, 22 February 2008 15:50:33 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:45 GMT