@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix swrl: <http://www.w3.org/2003/11/swrl#>.
@prefix : <foo://bla/names#>.
:john :child :bob; :sibling :paul, [].
:sibling a owl:SymmetricProperty.
:paul a [a owl:Restriction; owl:onProperty :child; owl:minCardinality 1].

:uncleRule a swrl:Imp;
   swrl:head ([ a swrl:IndividualPropertyAtom; swrl:propertyPredicate :uncle1;
                 swrl:argument1 :y ; swrl:argument2 :z ]);
   swrl:body ([ a swrl:IndividualPropertyAtom; swrl:propertyPredicate :child;
                 swrl:argument1 :x ; swrl:argument2 :y ]
              [ a swrl:IndividualPropertyAtom; swrl:propertyPredicate :sibling;
                 swrl:argument1 :x ; swrl:argument2 :z ]).
   :x a swrl:Variable.    :y a swrl:Variable.   :z a swrl:Variable.
[] rdfs:subPropertyOf :uncle2;
   owl:propertyChain ([owl:inverseOf :child] :sibling).
:Uncle owl:equivalentClass [a owl:Restriction; owl:onProperty :sibling;
  owl:someValuesFrom [a owl:Restriction; owl:onProperty :child;
                      owl:minCardinality 1]].