@prefix owl: <http://www.w3.org/2002/07/owl#>.         @prefix : <foo:greek#>.
:Person owl:disjointUnionOf (:Parricide :Non-Parricide).
  :iokaste a :Person; :hasChild :oedipus.
  :oedipus a :Person, :Parricide; :married-to :iokaste; :hasChild :polyneikes.
  :polyneikes a :Person; :hasChild :thersandros.
  :thersandros a :Person; a :Non-Parricide.
[ a owl:AllDifferent; owl:members (:iokaste :oedipus :polyneikes :thersandros)].
:Parent-of-Parricide owl:equivalentClass [ a owl:Restriction;
  owl:onProperty :hasChild; owl:someValuesFrom :Parricide ].
:Parent-of-Non-Parricide owl:equivalentClass [ a owl:Restriction;
  owl:onProperty :hasChild; owl:someValuesFrom :Non-Parricide ].
:Parent-of-Parricide-Grandparent-of-Non-Parricide owl:intersectionOf
  ([a owl:Restriction; owl:onProperty :hasChild; owl:someValuesFrom :Parricide]
   [a owl:Restriction;
     owl:onProperty :hasChild; owl:someValuesFrom :Parent-of-Non-Parricide]).
# :Parent-of-Parricide-Grandparent-of-Non-Parricide owl:equivalentClass owl:Nothing .
# makes it inconsistent