- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Thu, 08 Aug 2002 16:25:52 +0100
- 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 UTC