@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix swrl: <http://www.w3.org/2003/11/swrl#>.
@prefix : <foo://bla/names#> .
:jack a :Person; :child [a :Person; a :Parent; a :ParentOfNonBeliever].
:Parent owl:equivalentClass
  [a owl:Restriction; owl:onProperty :child; owl:someValuesFrom :Person].
:Believer owl:equivalentClass
  [a owl:Restriction; owl:onProperty :believes; owl:minCardinality 1].
:ParentOfBeliever owl:equivalentClass
  [a owl:Restriction; owl:onProperty :child; owl:someValuesFrom :Believer].
:ParentOfNonBeliever owl:equivalentClass
  [a owl:Restriction; owl:onProperty :child; 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 ]).