@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix :<http://example.org#>.

:JewishGod rdfs:subClassOf :God;
   owl:equivalentClass [ owl:oneOf (:jehova)].
:GermanGod rdfs:subClassOf :God.
   :odin a :GermanGod.
   :thor a :GermanGod.
   :freya a :GermanGod.
[ a owl:AllDifferent; owl:members (:jehova :odin :thor :freya)].
:Jew owl:equivalentClass [a owl:Restriction;
  owl:onProperty :believesIn; owl:someValuesFrom :JewishGod].
:German owl:equivalentClass [a owl:Restriction;
   owl:onProperty :believesIn; owl:someValuesFrom :GermanGod].

:Believer owl:equivalentClass [a owl:Restriction;
  owl:onProperty :believesIn; owl:someValuesFrom owl:Thing].

:moshe a :Jew; :name "Moshe".
:haegar a :German; :name "Haegar".