Re: What are literals?

Sounds good to me.

Patrick

[Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com]


----- Original Message ----- 
From: "ext pat hayes" <phayes@ai.uwf.edu>
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: <w3c-rdfcore-wg@w3.org>
Sent: 13 December, 2002 18:11
Subject: Re: What are literals?


> >[Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, 
> >patrick.stickler@nokia.com]
> >
> >
> >----- Original Message -----
> >From: "ext Brian McBride" <bwm@hplb.hpl.hp.com>
> >To: "pat hayes" <phayes@ai.uwf.edu>; "Patrick Stickler" 
> ><patrick.stickler@nokia.com>; <danbri+rdfs@w3.org>
> >Cc: <w3c-rdfcore-wg@w3.org>
> >Sent: 12 December, 2002 18:53
> >Subject: Re: What are literals?
> >
> >
> >>  At 10:11 12/12/2002 -0600, pat hayes wrote:
> >>
> >>  [...]
> >>
> >>
> >>  >Yes, this text has my mind reeling. My understanding of the reification
> >>  >vocabulary was that the rdf:subject and rdf:object of a reified triple
> >>  >were the things that the subject and object of the original triple
> >>  >denoted. In which case the rdf:object is always a literal VALUE rather
> >>  >than the literal itself, so yes, indeed, it can be said to be in
> >>  >rdfs:Resource. So the range is rdfs:Resource, and this should be altered.
> >>
> >>  The vocab doc needs work.  It will get it.  Stick to what we have decided
> >>  and expect it to come into line.
> >
> >Right. The point was simply to confirm that we all agree that
> >
> >     rdfs:Literal rdfs:subClassOf rdfs:Resource .
> >
> >and secondly, if that's the case, that perhaps the MT should say
> >so explicitly.
> 
> There is now a sentence about subsets of rdfs:Resource generally, in 
> section 3.3:
> 
> --------
> Since ICEXT(I(rdfs:Resource)) is the universe, everything has 
> rdfs:Resource as an rdf:type value, and every class is a subclass of 
> rdfs:Resource.Such assertions would be redundant, therefore.
> 
> Similarly, some domain and range assertions are omitted from the 
> above table; in those cases, the domain or range of the property may 
> be taken to be rdfs:Resource, i.e. the universe; such range and 
> domain assertions are essentially vacuous.
> ---------
> 
> Pat
> -- 
> ---------------------------------------------------------------------
> IHMC (850)434 8903   home
> 40 South Alcaniz St. (850)202 4416   office
> Pensacola              (850)202 4440   fax
> FL 32501           (850)291 0667    cell
> phayes@ai.uwf.edu           http://www.coginst.uwf.edu/~phayes
> s.pam@ai.uwf.edu   for spam
>

Received on Monday, 16 December 2002 03:42:17 UTC