W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: First bit of datatype test cases (for Jos): manifest support.

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 19 Nov 2002 21:54:01 -0500
Message-Id: <p05111b0eba00a87f3cf6@[10.0.100.86]>
To: Jan Grant <Jan.Grant@bristol.ac.uk>
Cc: w3c-rdfcore-wg@w3.org

>I've updated
>	2000/10/rdf-tests/rdfcore/skeleton/positiveEntailmentTest.rdf
>(and related support files) to include the following lines:
>
>    <!-- For datatype entailments, include the next line AND give the 
>datatype support required -->
>    <test:entailmentRules 
>rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes#" 
>/>
>    <test:datatypeSupport 
>rdf:resource="http://www.w3.org/2001/XMLSchema#int" />
>
>Basically, if an entailment test (positive or negative) requires
>datatype knowledge / general DT closure rules then the entailmentRules
>tag is needed. In addition, the datatypeSupport tag can be repeated to
>list the specific datatypes used in the test.

Not sure what this all means, but please make sure that the test 
cases always have an explicit

<whatever> rdf:type rdfs:Datatype  .

antecedent for all the datatypes used.

>jan
>
>PS. The test case document includes this text:
>
>[[
>Negative Entailment Tests
>
>...
>
>Should a premise document contain a semantic error with respect to any
>constraints imposed by the entailment rules selected, the entailment is
>treated as not holding; that is, the test will succeed.

Well, er, actually, in this case the entailment DOES hold, strictly 
speaking, rather in the way that False implies anything. But OK, you 
can *treat* it as not holding.

>]]
>
>So I'm going to use this to include the following test:
>
>it is NOT the case that
>{
>eg:a eg:foo "fiewh"^^xsd:integer .
>}
>datatype-entails
>{
>}
>(with knowledge of the xsd:integer datatype).
>
>I'll come back to the list with the other tests in a bit.

How about

_:x eg:foo "fiewh"^^xsd:integer .
_:x rdf:type xsd:integer .

??Strictly speaking, the MT says that this (trivially) entails 
anything, because its always false. Similarly

_:x eg:foo "fiewh"^^xsd:integer .
_:x rdf:type rdfs:Literal .

Pat


>
>--
>jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
>Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
>It's a sad fact that the word "semantics" seems to have lost all meaning.


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Tuesday, 19 November 2002 21:54:06 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:06 EDT