- From: pat hayes <phayes@ai.uwf.edu>
- Date: Wed, 20 Nov 2002 14:45:37 -0600
- To: Brian McBride <bwm@hplb.hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
>At 17:27 20/11/2002 +0000, Jan Grant wrote: > >[...] > >>Righto. It looks like the state of play is that the test cases for >>"duff" datatyped literals need a rethink, and I think I'm happier with >>why and how, now. Since Pat's given us a concrete "this is all you get" >>for the DT[xsd:integer]-closure from a duff datatyped literal, that's >>enough to rebuild those test cases. I'll sleep on it and come back >>tomorrow. > >Cool. Just a reminder of > ><a> <b> "foo"^^xsd:integer > >does not entail > ><a> <b> _:v . >_:v rdf:type _:c . >_:c rdf:type rdfs:Datatype . > >and it does if we replace "foo" with "10". Er...yes, but. If we are talking datatype entailment here, then you need xsd:integer rdf:type rdfs:Datatype . as an assumption; and if you have that then the last triple follows from it and _:v rdf:type xsd:integer . which follows from the original when "foo" is "10". Pat > >I'm not pushing this; there may be a better way. Just that you >don't have to do all the work on your own. > >Brian -- --------------------------------------------------------------------- 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 Wednesday, 20 November 2002 15:45:52 UTC