@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix : <foo:greek#>.
:Person owl:disjointUnionOf (:Parricide :Non-Parricide).
  :iokaste a :Person; :child :oedipus.
  :oedipus a :Person, :Parricide; :married-to :iokaste; :child :perineikes.
  :perineikes a :Person; :child :thesandros.
  :thesandros a :Person; a :Non-Parricide.
:Parent-of-Parricide owl:equivalentClass [ a owl:Restriction;
  owl:onProperty :child; owl:someValuesFrom :Parricide ].
:Parent-of-Non-Parricide owl:equivalentClass [ a owl:Restriction;
  owl:onProperty :child; owl:someValuesFrom :Non-Parricide ].
:Parent-of-Parricide-Grandparent-of-Non-Parricide owl:intersectionOf
  ([a owl:Restriction; owl:onProperty :child; owl:someValuesFrom :Parricide]
   [a owl:Restriction;
     owl:onProperty :child; owl:someValuesFrom :Parent-of-Non-Parricide]).