Re: test suite changes (ACTION-291)

Peter has done most of the work I was supposed to do (ACTION-292: Review 
the previous semantics test-suite)

I agree with his changes.

I have some more comments, and I propose a few more tests. Please Peter 
and Pat take a look at these to check I've not made mistakes. There are 
two questions where I'm not sure whether the graphs are satisfiable. If 
the tests are accepted, I'll provide N-Triples files for the premises 
and conclusions.

Comments on test cases:
======================
I wonder whether the negative entailment test:

  datatypes-intensional/test001.nt FALSE

is actually what it should be correct. It would be interesting to have 
the negatige test where the premise is the empty graph and the 
conclusion is what's currently in the premise, that is:

  rdfms-seq-representation/empty.nt datatypes-intensional/test001.nt

The negative test where the premise file is "FALSE" and conclusion file 
has the triple "rdf:type rdf:type rdf:type" should be inverted (premise 
is the file with the triple, conclusion is FALSE).

The last two tests are the exact same as two previously mentionned tests.


Additional entailment tests (in a format convenient for email):
==============================================================

The following RDF graph is FALSE in {xsd:string} entailment:
  ex:a  ex:p  "\0000" .

Negative entailment:
  ex:a  ex:p  "\0000"^^rdf:HTML .
is not FALSE in RDF recognizing rdf:HTML.

The following RDF graph:
  ex:a  rdf:type  rdf:langString .
  ex:a  rdf:type  xsd:string .
is FALSE in RDF entailment.

The following RDF graph:
  rdf:langString  rdfs:subClassOf  xsd:string .
is FALSE in RDFS entailment.

Negative entailment:
  ex:p  rdfs:range  xsd:integer .
  ex:a  ex:p  "abc"^^ex:dt .
is not FALSE in RDFS recognizing xsd:integer (but not recognizing ex:dt).

Negative entailment:
  ex:a  ex:p  "abc"^^ex:dt .
does not entail:
  ex:a  ex:p  _:x .
  _:x  rdf:type  ex:dt .
in RDFS where ex:dt is not recognized.

In RDF recognizing xsd:string, the empty graph entails:
  _:x  rdf:type  xsd:string .

The empty graph RDFS-entails:
  ex:a  rdf:type  rdfs:Resource .

The following RDF graph:
  ex:a  ex:p  "a"@en
RDF-entails:
  ex:a  ex:p  _:x .
  _:x  rdf:type  rdf:langString .

The following RDF graph:
  ex:p  rdfs:subPropertyOf  _:x .
  _:x  rdfs:range  ex:x .
  ex:a  ex:p  ex:b .
RDFS-entails:
  ex:b  rdf:type  ex:x .

The following RDF graph is FALSE in RDFS recognizing xsd:string and 
xsd:integer:
  rdf:type  rdfs:range  xsd:integer .

The following RDF graph:
  rdfs:Resource  rdfs:subClassOf  "a" .
RDFS-entails:
  ex:a  rdf:type  "a" .

The following RDF graph is FALSE in RDFS recognizing 
{xsd:nonNegativeInteger,xsd:nonPositiveInteger}:
  rdf:Property  rdfs:subClassOf  xsd:nonNegativeInteger .
  rdf:Property  rdfs:subClassOf  xsd:nonPositiveInteger .

Is the following triple satisfiable in RDFS recognizing xsd:boolean?
  rdf:Property  rdfs:subClassOf  xsd:boolean .

The following RDF graph is FALSE in RDFS recognizing 
{xsd:nonNegativeInteger,xsd:nonPositiveInteger}:
  rdf:type  rdfs:range  xsd:nonNegativeInteger .
  rdf:type  rdfs:range  xsd:nonPositiveInteger .

Is the following triple satisfiable in RDFS recognizing xsd:boolean?
  rdf:type  rdfs:range  xsd:boolean .

The following RDF graph:
  ex:a  rdf:type  xsd:nonNegativeInteger .
  ex:a  rdf:type  xsd:nonPositiveInteger .
  ex:b  rdf:type  xsd:nonNegativeInteger .
  ex:b  rdf:type  xsd:nonPositiveInteger .
  ex:a  ex:p  ex:c .
entails in RDF recognizing {xsd:nonNegativeInteger,xsd:nonPositiveInteger}:
  ex:b  ex:p  ex:c .



AZ

Le 12/09/2013 09:21, Pat Hayes a écrit :
>
> 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
>
>
>
>
>
>
>
>

-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/

Received on Thursday, 12 September 2013 15:50:28 UTC