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, 



Suggest:

s/sufficient/necessary/ and consequential changes

would do.

Jeremy
Received on Friday, 16 May 2003 08:45:25 EDT

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