W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2003

RE: possible peculiarity with empty datatypes

From: <Patrick.Stickler@nokia.com>
Date: Tue, 8 Jul 2003 11:13:57 +0300
Message-ID: <A03E60B17132A84F9B4BB5EEDE57957B0263016A@trebe006.europe.nokia.com>
To: <phayes@ihmc.us>, <pfps@research.bell-labs.com>
Cc: <www-rdf-comments@w3.org>



> -----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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT