Ontology(<http://example.com/ontology/Unnamed>
Declaration(Class(:FemalePerson))
Declaration(Class(:MalePerson))
Declaration(Class(:Person))
Declaration(ObjectProperty(:hasBrother))
Declaration(ObjectProperty(:hasFather))
Declaration(ObjectProperty(:hasUncle))
AnnotationAssertion(rdfs:label :FemalePerson "Female Person"@en)
SubClassOf(:FemalePerson :Person)
DisjointClasses(:FemalePerson :MalePerson)
AnnotationAssertion(rdfs:label :MalePerson "Male Person"@en)
SubClassOf(:MalePerson :Person)
AnnotationAssertion(rdfs:label :Person "Person"@en)
SubClassOf(:Person ObjectIntersectionOf(ObjectMaxCardinality(1 :hasFather :MalePerson) ObjectMinCardinality(1 :hasFather :MalePerson)))
AnnotationAssertion(rdfs:label :hasBrother "has brother"@en)
ObjectPropertyDomain(:hasBrother :Person)
ObjectPropertyRange(:hasBrother :MalePerson)
AnnotationAssertion(rdfs:label :hasFather "has father"@en)
ObjectPropertyDomain(:hasFather :Person)
ObjectPropertyRange(:hasFather :MalePerson)
AnnotationAssertion(rdfs:label :hasUncle "has uncle"@en)
ObjectPropertyDomain(:hasUncle :Person)
ObjectPropertyRange(:hasUncle :MalePerson)
SubObjectPropertyOf(ObjectPropertyChain(:hasFather :hasBrother) :hasUncle)
) |