Re: missing (and incorrect) RDFS axioms

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

Received on Saturday, 9 November 2002 00:05:08 UTC