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))
) |