Figure 1: 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 Pages: