comment on agenda item 9 (rdfs-transitive-subSubProperty)

.......
   Issue rdfs-transitive-subSubProperty:
     Is a super/sub-property of a transitive property necessarily transitive?

     e.g. anc is a transitive property
          par is a sub-property of anc but is not transitive
          anc-or-unc is a super-property of anc but is not transitive

>>Might be good to explain that 'anc' means 'ancestor' and 'par' 
>>means 'parent' and 'unc' means whatever it does mean (uncle??). 
>>Otherwise, the point of the example is rather opaque.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Friday, 30 November 2001 10:29:56 UTC