Asymmetrical inverse property.
Ontology(<http://example.com/ontology/AsymmetricalInverseProperty> Declaration(Class(:Mother)) Declaration(Class(:Son)) Declaration(ObjectProperty(:hasMother)) Declaration(ObjectProperty(:hasSon)) AnnotationAssertion(rdfs:label :Mother "Mother"@en) SubClassOf(:Mother ObjectIntersectionOf(ObjectMinCardinality(1 :hasSon :Son))) AnnotationAssertion(rdfs:label :Son "Son"@en) SubClassOf(owl:Thing ObjectIntersectionOf(ObjectMaxCardinality(1 :hasMother :Mother) ObjectMinCardinality(1 :hasMother :Mother))) AnnotationAssertion(rdfs:label :hasMother "has mother"@en) ObjectPropertyRange(:hasMother :Mother) AnnotationAssertion(rdfs:label :hasSon "has son"@en) ObjectPropertyDomain(:hasSon :Mother) ObjectPropertyRange(:hasSon :Son) )
Related page