- 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
>>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) >rdf:XMLLiteral? 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