@prefix dt: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#>.
{ ?P a owl:InverseFunctionalProperty.
  ?X ?P ?Y.  ?Z ?P ?Y }
=> { ?X = ?Z }.
{ ?X [ owl:inverseOf ?P ] ?Y } => { ?Y ?P ?X }.
{ ?P a owl:SymmetricProperty. ?X ?P ?Y } => { ?Y ?P ?X }.
owl:inverseOf a owl:SymmetricProperty.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
foaf:homepage a owl:InverseFunctionalProperty.
@prefix k: <http://www.cyc.com/2004/06/04/cyc#> .
@prefix xfn: <http://gmpg.org/xfn/11#>.
xfn:parent owl:inverseOf xfn:child.
xfn:sibling a owl:SymmetricProperty.
{ ?C xfn:parent ?P; xfn:sibling ?C2 } => { ?C2 xfn:parent ?P }.

{ ?E k:eventHonors ?P.
  ?P xfn:child ?C
} => { ?E k:socialParticipants ?C, ?P }.