@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix swrl: <http://www.w3.org/2003/11/swrl#>.
@prefix : <foo://bla#> .

:name a owl:FunctionalProperty; a owl:DatatypeProperty.
:john a :Person; :name "John"; :hasChild :alice, :bob.
:alice a :Person; :name "Alice".
:bob a :Person; :name "Bob".
  :x a swrl:Variable.   :y a swrl:Variable.  :z a swrl:Variable.
:r a swrl:Imp;
   swrl:head ([ a swrl:IndividualPropertyAtom; swrl:propertyPredicate :hasSibling;
                swrl:argument1 :y ; swrl:argument2 :z ]);
   swrl:body ([ a swrl:IndividualPropertyAtom; swrl:propertyPredicate :hasChild;
                swrl:argument1 :x ; swrl:argument2 :y ]
              [ a swrl:IndividualPropertyAtom; swrl:propertyPredicate :hasChild;
                swrl:argument1 :x ; swrl:argument2 :z ]
              [ a swrl:DifferentIndividualsAtom;
                swrl:argument1 :y ; swrl:argument2 :z ]).