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

Re: Semantics Spanner

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 16 May 2003 13:42:06 +0100
Message-ID: <3EC4DC9E.8060108@hplb.hpl.hp.com>
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
CC: Brian McBride <bwm@hplb.hpl.hp.com>, Graham Klyne <gk@ninebynine.org>, Jeremy Carroll <jjc@hpl.hp.com>, w3c-rdfcore-wg@w3.org, pat hayes <phayes@ai.uwf.edu>

Jeremy Carroll wrote:

> Here's the problem text:
> [[
> A D-interpretation which also satisfies the following condition is 
> called an interpretation which is datatyped with respect to D:
> if I(aaa) is in ICEXT(I(rdfs:Datatype)) then <aaa, I(aaa)> is in D
> This condition recognizes membership in the class rdfs:Datatype as a 
> sufficient condition for being a datatype, 


s/sufficient/necessary/ and consequential changes

would do.

Received on Friday, 16 May 2003 08:45:25 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:05 UTC