@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix swrl: <http://www.w3.org/2003/11/swrl#>.
@prefix : <foo://bla#> .
:jack a :Person; :hasChild [a :Person; a :Parent; a :NotParentOfBeliever].
:Parent owl:equivalentClass
  [a owl:Restriction; owl:onProperty :hasChild; owl:someValuesFrom :Person].
:Believer owl:equivalentClass
  [a owl:Restriction; owl:onProperty :believes; owl:minCardinality 1].
:ParentOfBeliever owl:equivalentClass
  [a owl:Restriction; owl:onProperty :hasChild; owl:someValuesFrom :Believer].
:NotParentOfBeliever owl:equivalentClass [a owl:Restriction;
     owl:onProperty :hasChild; owl:onClass :Believer; owl:cardinality 0].

:x a swrl:Variable.
:r a swrl:Imp;
   swrl:head ([ a swrl:IndividualPropertyAtom;
                 swrl:propertyPredicate :believes;
                 swrl:argument1 :x ; swrl:argument2 :god ]);
   swrl:body ([ a swrl:ClassAtom; swrl:classPredicate :Person;
                 swrl:argument1 :x ]).