Re: Transitive properties

Richard Newman <r.newman@reading.ac.uk> wrote:

> 
> All,
>    Two quick questions I hope someone can help with.
> 
>    I have a transitive symmetric property, biological relation (though  
> any other similar property will do):
> 
> :bioRel a owl:SymmetricProperty, owl:TransitiveProperty .
> 
 
May I point out that "biological relation" is not necessarily transitive? 
Consider the Ricardo family of "I Love Lucy" fame, with mother Lucy, father
Ricky, and child LittleRicky:

:bioRel Lucy LittleRicky
:bioRel LittleRicky Ricky

are both true.  However,
:bioRel Lucy Ricky is not true.