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

Re: new datatyping proposal

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Thu, 08 Aug 2002 16:25:52 +0100
Message-Id: <5.1.0.14.2.20020808162516.00a4dec0@127.0.0.1>
To: Sergey Melnik <melnik@db.stanford.edu>
Cc: RDF Core <w3c-rdfcore-wg@w3.org>

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


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Thursday, 8 August 2002 11:37:48 EDT

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