W3C home > Mailing lists > Public > public-rdf-wg@w3.org > September 2013

Re: test suite changes (ACTION-291)

From: Pat Hayes <phayes@ihmc.us>
Date: Thu, 12 Sep 2013 00:21:34 -0700
Cc: RDF WG <public-rdf-wg@w3.org>
Message-Id: <55EC2787-66F1-462B-8766-02CBD4EA42DB@ihmc.us>
To: Peter Patel-Schneider <pfpschneider@gmail.com>

On Sep 11, 2013, at 7:54 PM, Peter Patel-Schneider wrote:

> Changes required in RDF test suite to handle the changes in RDF 1.1
> 
> I actually went through Semantics to look for changes and then through the test suite to look for impacted tests.   I believe that the following more than covers what I signed up for ACTION-291, and leave it to others to do the bit-twiddling required to effect these changes.

I could try that twiddling if I knew how to access the test suite. Is it in mercurial somewhere?

Pat

> 
> peter
> 
> 
> 
> Areas of changes along with their handling
> - new handling of invalid literals - 1/, 2/, 3/, 4/
> - new datatypes - rdf:langString - 6a/ 6b/
>               - rdf:HTML - 6c/
> - "changes" to datatypes - xsd:string - 7/, 8/
> - entailment regimes - 5/ plus changes just below
> - RDF datasets - 9/, 10/
> 
> 
> Entailment regime changes (systematic)
> - change rules to regimes as follows
>   -> simple entailment
>   RDF -> RDF entailment
>   RDF + RDFS -> RDFS entailment
>   RDF + D(xsd:string)  -> RDF entailment
>   RDF + D(...) -> RDF entailment recognizing {rdf:langString,xsd:string,...}
>   RDF + RDFS + D(xsd:string)  -> RDFS entailment
>   RDF + RDFS + D(...) -> RDFS entailment recognizing {rdf:langString,xsd:string,...}
> 
> 
> Required test changes
> 
> 1/ datatypes-test002.nt datatypes/test002.nt CHANGE CONCLUSION TO FALSE
> 2/ datatypes-test002.nt datatypes-test002b.nt REMOVE
> 3/ xmlsch-02/test002.rdf xmlsch-02/test001.rdf NOW A POSITIVE TEST
> 4/ xmlsch-02/test002.rdf xmlsch-02/test003.rdf NOW A POSITIVE TEST
> 5/ rdfs-entailment/test001.rdf FALSE NOW RDFS entailment recognizing rdf:XMLLiteral
> 
> 
> Proposed test changes
> 
> 6a/ Add positive parsing test for valid rdf:langString
> 6b/ Add negative parsing test for invalid rdf:langString
> 6c/ Add positive parsing test for rdf:HTML
> 7/ Add positive RDF entailment entailing FALSE
>    ex:foo ex:bar "\0000"^^xsd:string 
> 8/ Add positive RDF entailment entailing FALSE
>    ex:foo ex:bar "\0000"
> 9/ Add positive and negative parsing tests for RDF datasets
> 10/ Add tests for RDF dataset isomorphism
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 home
40 South Alcaniz St.            (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile (preferred)
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Thursday, 12 September 2013 07:22:02 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:16 UTC