Ontology(<http://example.com/ontology/Unnamed>
Declaration(Class(:FemalePerson))
Declaration(Class(:MalePerson))
Declaration(Class(:Person))
Declaration(ObjectProperty(:hasMom))
Declaration(ObjectProperty(:hasMother))
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 :hasMom :FemalePerson)
ObjectMinCardinality(1 :hasMom :FemalePerson)))
SubClassOf(:Person ObjectIntersectionOf(ObjectMaxCardinality(1 :hasMother :FemalePerson) ObjectMinCardinality(1 :hasMother :FemalePerson)))
AnnotationAssertion(rdfs:label :hasMom "has mom"@en)
EquivalentObjectProperties(:hasMom :hasMother)
ObjectPropertyDomain(:hasMom :Person)
ObjectPropertyRange(:hasMom :FemalePerson)
AnnotationAssertion(rdfs:label :hasMother "has mother"@en)
ObjectPropertyDomain(:hasMother :Person)
ObjectPropertyRange(:hasMother :FemalePerson)
) |