- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Fri, 16 May 2003 14:56:41 +0100
- To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Cc: Graham Klyne <gk@ninebynine.org>, Jeremy Carroll <jjc@hpl.hp.com>, w3c-rdfcore-wg@w3.org, pat hayes <phayes@ai.uwf.edu>
At 13:21 16/05/2003 +0100, Jeremy Carroll wrote:
[...]
>Here is the entailment proof:
>
>xsd:int rdf:type rdf:Datatype .
>
>is true in no { <rdf:XMLLiteral, XMLLiteral> } interpretations
Why?
Brian
Received on Friday, 16 May 2003 09:56:15 UTC