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

test suite changes (ACTION-291)

From: Peter Patel-Schneider <pfpschneider@gmail.com>
Date: Wed, 11 Sep 2013 19:54:16 -0700
Message-ID: <CAMpDgVyoZRN85KL4Hsg8fWxk45NXOHrosZyOvTNhs=kgcT=TkA@mail.gmail.com>
To: RDF WG <public-rdf-wg@w3.org>
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.

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
Received on Thursday, 12 September 2013 02:54:42 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 12 September 2013 02:54:43 UTC