W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2007

Re: REDUCED tests

From: Lee Feigenbaum <lee@thefigtrees.net>
Date: Mon, 12 Nov 2007 13:20:56 -0500
Message-ID: <47389988.5070800@thefigtrees.net>
To: "Seaborne, Andy" <andy.seaborne@hp.com>
CC: 'RDF Data Access Working Group' <public-rdf-dawg@w3.org>

Seaborne, Andy wrote:
> 
> 
> Seaborne, Andy wrote:
>> Lee Feigenbaum wrote:
>>> I added the following tests.
>>>
>>> syntax-sparql5/manifest#syntax-reduced-01
>>> syntax-sparql5/manifest#syntax-reduced-02
>>
>> ARQ passes the syntax tests.

Great.

>>
>>>
>>> reduced/manifest#reduced-1
>>> reduced/manifest#reduced-2
>>> The latter two are rdf:type'd as both mf:QueryEvaluationTest
> 
> ARQ now passes these tests.

Great.

Can anyone else try these tests out and report results, please?

>> Some people may find it a nuisance to have two types on a test.  Maybe 
>> a qualifier would be better in the style of requirements and notable 
>> features.

A nuisance? That didn't occur to me - why is that? (I don't have a 
strong feeling for how to model it, so I'm happy to change it.)

>> My plan at the moment is to ignore this and ask the query if it is a 
>> REDUCED syntax query.
> 
> My testing approach is to turn both query answers and test results into 
> unique forms and compare.  This does not catch an implementation of 
> REDUCED that introduces new, extra duplicates.

I'll pretend I didn't hear that...

Lee

>>
>>  > and also as
>>> mf:ReducedCardinalityTest. The intended semantics of the latter is:
>>>
>>> + The given mf:result for a mf:ReducedCardinalityTest is the results 
>>> as if the REDUCED keyword were omitted. To pass a 
>>> mf:ReducedCardinalityTest, an implementation must produce a result 
>>> set with each solution in the expected results appearing at least 
>>> once and no more than the number of times it appears in the expected 
>>> results. Of course, there must also be no results produced that are 
>>> not in the expected results.
> 
>     Andy
> 
Received on Monday, 12 November 2007 18:21:19 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:37 GMT