Re: missing (and incorrect) RDFS axioms

>At 14:33 09/11/2002 -0600, pat hayes wrote
>
>>>   rdfs:member rdfs:domain rdfs:Container .
>
>Where did that come from?  I thought we decided that rdf:_1 etc 
>could be attached to things that are not containers.

Whoops. I think I must have read that somewhere.

OK, I can remove that.

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, 11 November 2002 13:28:47 UTC