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

>>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