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

Re: Datatype test cases: important ones (please have a look)

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

>They're described in
>I've put the major classes of test case in place (as I see them) - still
>to do: JJC's entailment (whether we want to approve it or not), round
>out the test cases for the other XSD datatypes.
>Test case name & description... names are as given in the manifest file
>(relative to http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/) -
>see manifest file for related files.
>	A simple datatype production; a language+datatype production.
>	Simply duplicate the constructs under
>	http://www.w3.org/2000/10/rdf-tests/rdfcore/ntriples/test.nt
>	A parser is not required to know about well-formed datatyped literals.
>	Without datatype knowledge, a "badly-formed" datatyped literal
>	cannot be detected.
>	With appropriate datatype knowledge, a "badly-formed" datatyped
>	literal is a semantic error.

Is it? The semantics only says that extensions MAY wish to post an 
error. I have no axe to grind here, but we ought to be consistent. If 
this is an RDF(S) error condition then the semantics ought to be 
clear on this also.

Also, under these conditions, it is valid to infer that a 
non-badly-formed datatyped literal is in the datatype space,ie the 

aaa bbb "xxx"^^ddd .
aaa bbb _:x .
_:x rdf:type ddd .

which is not valid without the datatype check.

>	Demonstrating the semantic equivalence of two lexical forms of the
>	same datatyped value.
>	As semantic-equivalence-within-type-1; the entailment works both ways.
>	Language attributes on a datatyped literal make them distinct for
>	the purposes of non-datatype-aware entailments.
>	Language doesn't affect the semantic equivalence of some datatypes,
>	when doing a DT-entailment.
>	Members of different datatypes may be semantically equivalent.
>This last one needs confirmation.

It should say that this is up to the datatype source to confirm , but 
that if it does so then the inference is valid. Not sure of exactly 
the best way to express this.


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 22:03:21 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:18 UTC