Symmetry and transitivity

In RDF/N3:

:hasBrother a owl:SymmetricProperty,
owl:TransitiveProperty .
:Rich :hasBrother :Ant .
→
:Ant :hasBrother :Rich .
:Rich :hasBrother :Ant , :Rich

A symmetric and transitive property will necessarily create a loop*.

The question is: am I my own brother?

* At least, this is with the trivial N3 rules for transitivity and symmetry. I'm looking now to find whether this is correct under the spec.

Update: it appears that transitive(r) ∧ symmetric(r) → reflexive(r). Oh well.

Posted at 2004-07-21 03:37:52 by Richard • Link to Symmetry and trans…
Comments, trackbacks.