Equivalent properties.
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) )
Related page