- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Fri, 16 May 2003 13:42:06 +0100
- 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 UTC