W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2002

Re: new datatyping proposal

From: Sergey Melnik <melnik@db.stanford.edu>
Date: Thu, 08 Aug 2002 18:08:26 +0200
Message-ID: <3D52977A.3040708@db.stanford.edu>
To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
CC: RDF Core <w3c-rdfcore-wg@w3.org>

Graham Klyne wrote:

> 
> At 01:05 PM 8/8/02 +0200, Sergey Melnik wrote:
> 
>> ageYears --rdfs:range--> xsd:integer
>> xsd:integer --rdfs:subClassOf--> rdfs:Literal
>>
>> In the model theory, we have
>>
>> I(xsd:integer) = {I(int_0), I(int_1), ... }
> 
> 
> Nit:  wouldn't that be:
> 
>   ICEXT(I(xsd:integer)) = {I(int_0), I(int_1), ... }
> 
> ?
> 
> #g

Oops, good catch, of course!

Sergey
Received on Thursday, 8 August 2002 12:08:28 EDT

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