RE: possible peculiarity with empty datatypes

> -----Original Message-----
> From: ext pat hayes [mailto:phayes@ihmc.us]
> Sent: 08 July, 2003 05:40
> To: Peter F. Patel-Schneider
> Cc: www-rdf-comments@w3.org
> Subject: Re: possible peculiarity with empty datatypes
> 
> 
> 
> >Hi:
> >
> >A datatype, d, with an empty value space may end up in an 
> unusual state
> >because it has no instances, and thus would not trigger any
> >	x rdf:type d
> >semantic conditions (assuming that such semantic conditions 
> are included in
> >RDFS).
> 
> My own sense is that there should be no such datatype. I will add 
> this to the required conditions for a datatype, ie that the value 
> space is nonempty.

Perhaps better to specify that the lexical space is non-empty,
which is an equally reasonable constraint, I think, and then
it will follow from the definition of L2V that the value space
is thus nonempty.

???

Patrick

Received on Tuesday, 8 July 2003 04:14:03 UTC