Disjoint classes

Ontology(<http://www.example.com/ontology/Disjoint>
      Declaration(Class(:Daughter))
      Declaration(Class(:Parent))
      Declaration(Class(:Son))
      Declaration(ObjectProperty(:caredForBy))
      Declaration(ObjectProperty(:caresFor))
      AnnotationAssertion(rdfs:label :Daughter "Daughter"@en)
      DisjointClasses(:Daughter :Son)
      AnnotationAssertion(rdfs:label :Parent "Parent"@en)
      AnnotationAssertion(rdfs:label :Son "Son"@en)
      AnnotationAssertion(rdfs:label :caredForBy "cared for by"@en)
      InverseObjectProperties(:caredForBy :caresFor)
      ObjectPropertyDomain(:caredForBy ObjectUnionOf(:Son :Daughter))
      ObjectPropertyRange(:caredForBy :Parent)
      AnnotationAssertion(rdfs:label :caresFor "cares for"@en)
      ObjectPropertyDomain(:caresFor :Parent)
      ObjectPropertyRange(:caresFor ObjectUnionOf(:Son :Daughter))
)