Re: Test cases & entailment

[snip]

>> In order to annotate existing non-entailment tests as also applicable
>> under an entailment regime, how about annotating them with a list of
>> applicable regimes? For example,
>>
>> :rdf01 rdf:type mf:QueryEvaluationTest ;
>>     mf:name    "RDF inference test" ;
>>     dawgt:approval dawgt:NotClassified ;
>>     sd:entailmentRegime (
>>         ent:RDF
>>         ent:RDFS
>>     ) ;
>>     mf:action
>>          [ qt:query  <rdf01.rq> ;
>>            qt:data   <rdf01.ttl> ] ;
>>     mf:result  <rdf01.srx>
>>     .
>
> We could do the same though with either
>  a) replicating the test cases with the same input/output for different ent regimes.

Yes, but that seems rather more work and should there be an issue with
the test case, it has to be corrected in all the copies.

>  b) just having multiple values for the sd:entailmentRegime property (that would need some adaption in http://www.w3.org/2009/sparql/docs/tests/README.html#entailevaltests
>
> a) requires no changes,
> if b) is preferred, I would just add one sentence:
> "In the absence of the sd:entailmentRegime property, the entailment regime defaults to http://www.w3.org/ns/entailment/Simple, multiple values for the sd:entailmentRegime property indicate that the test case is expected to provide the same result for any of those entailment regimes."

I would much refer b) and only duplicate test cases for the OWL Direct
Semantics regime if the data as is is not OWL DL. Organisation-wise, I
would keep entailment specific tests in the entailment folder, but
mark tests that can also be done with entailment other than simple.

> Does that work for you?

That would work.

Cheers,
Birte

> Axel
>
>
>> This would then indicate that the test can be executed with RDF and
>> RDFS entailment?
>> It might then even be clearer to not abuse the sd:entailmentRegime
>> property and instead use something like mf:applicableWith.
>>
>> Birte
>>
>>
>>
>> --
>> Dr. Birte Glimm, Room 309
>> Computing Laboratory
>> Parks Road
>> Oxford
>> OX1 3QD
>> United Kingdom
>> +44 (0)1865 283520
>>
>>
>
>



-- 
Dr. Birte Glimm, Room 309
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283520

Received on Tuesday, 15 February 2011 15:44:15 UTC