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

Re: Hang on a second... Re: Datatype test cases: important ones (please have a look)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 21 Nov 2002 14:38:21 +0100
To: "Brian McBride <bwm" <bwm@hplb.hpl.hp.com>
Cc: "Jan Grant" <Jan.Grant@bristol.ac.uk>, "Patrick Stickler" <patrick.stickler@nokia.com>, "ext pat hayes" <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
Message-ID: <OF7A3C9F1F.3466B0DE-ONC1256C78.004A5557-C1256C78.004AFF11@agfa.be>

>>It should be changed/fixed. The above entailment should hold. Any
>>application should be able to conclude that any two typed literals
>>which have identical lexical form and datatype URI denote the
>>same value, irrespective of any lang tag, and that conclusion should
>>be possible without any special datatype knowledge. I.e., it's
>>just an RDF entailment, not an RDF + datatypes entailment.
>How do you know that datatype does not denote (i.e. is a pseudonym for)

well then you say (or derive) that it is owl:sameAs rdf:XMLLiteral
and e.g. substitute equals for equals

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 21 November 2002 08:40:08 UTC

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