W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > May 2003

Re: Semantics Spanner

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Fri, 16 May 2003 14:56:41 +0100
Message-Id: <5.1.0.14.0.20030516145040.052b7798@localhost>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:32 EDT