- From: Sergey Melnik <melnik@db.stanford.edu>
- Date: Thu, 08 Aug 2002 18:08:26 +0200
- 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 UTC