- From: <Patrick.Stickler@nokia.com>
- Date: Wed, 27 Aug 2003 16:00:38 +0300
- To: <jos.deroo@agfa.com>
- Cc: <bwm@hplb.hpl.hp.com>, <phayes@ihmc.us>, <w3c-rdfcore-wg@w3.org>, <Patrick.Stickler@nokia.com>
> -----Original Message----- > From: ext Jos De_Roo [mailto:jos.deroo@agfa.com] > Sent: 27 August, 2003 15:44 > To: Stickler Patrick (NMP/Tampere) > Cc: bwm@hplb.hpl.hp.com; Stickler Patrick (NMP/Tampere); > phayes@ihmc.us; > w3c-rdfcore-wg@w3.org > Subject: RE: pfps-06 hold off? > > > > For example in the testcase > > does > > :Jenny :age "33"^^xsd:integer. > > rdf:, xsd:integer entail > > :Jenny :age " 33 "^^?D. > > (but I should have better written > :Jenny :age " 33 "^^_:D. > here in RDFCore) > > and our answer is > :Jenny :age " 33 "^^xsd:integer. The answer is 'no' because " 33 " is not a member of the lexical space of xsd:integer and thus is not equivalent to the lexical form "33". The fact that you get 'yes' is because you are not actually testing the validity of the lexical form, but applying a coercion function that is not equivalent to the L2V mapping, as provided by a tool intended to operate in a looser environment, allowing spurious whitespace, rather than deal with actual lexical forms of XML Schema simple types. Again, what do you get if the test is the following: Does :Jenny :age "33"^^xsd:integer. rdf:, xsd:integer entail :Jenny :age "33.0"^^?D. ??? Patrick
Received on Wednesday, 27 August 2003 09:06:26 UTC