Re: Typed literals: current status

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