Re: missing (and incorrect) RDFS axioms

I agree, and shudder somewhat to think where we end up if we have things 
that can be denoted by literals that cannot be denoted by URIrefs.

#g
--

At 11:05 PM 11/8/02 -0600, pat hayes wrote:

>>  > rdf:object   rdfs:range  rdfs:Resource .             *
>>
>>...did we agree that all literals are resources?
>
>Well, I asked the WG if they approved of the general entailment patterns like
>
>aaa ppp <some literal> .
>-->
>aaa ppp _:xxx .
>
>and they did; and these are valid only if literals are resources. So, I'm 
>assuming that we did agree that. If not, then please re-think those 
>entailments, guys.
>
>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

-------------------
Graham Klyne
<GK@NineByNine.org>

Received on Saturday, 9 November 2002 09:57:16 UTC