Re: Typed literals: current status from Jeremy Carroll on 2002-10-22 (w3c-rdfcore-wg@w3.org from October 2002)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 22 Oct 2002 08:14:17 +0200
To: <w3c-rdfcore-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDCEGNCAAA.jjc@hpl.hp.com>

Patrick:
> Are we making it clear somewhere that 'datatype' (unless
> otherwise specified) refers to an instance of rdfs:Datatype?

this looks to me like a model theoretic closure rule, possibly at the RDFS
level (before any specific datatypes are assumed)

i.e.

aaa ppp <datatype>lll .

rdfs-entails

<datatype> rdf:type rdfs:Datatype .


Comments, (Pat?)


Jeremy

Received on Tuesday, 22 October 2002 02:14:24 UTC