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