Figure 1: Properties in a property chain.
Ontology(<http://example.com/ontology/Unnamed>
      Declaration(Class(:FemalePerson))
      Declaration(Class(:MalePerson))
      Declaration(Class(:Person))
      Declaration(ObjectProperty(:hasBrother))
      Declaration(ObjectProperty(:hasFather))
      Declaration(ObjectProperty(:hasUncle))
      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 :hasFather :MalePerson) ObjectMinCardinality(1 :hasFather :MalePerson)))
      AnnotationAssertion(rdfs:label :hasBrother "has brother"@en)
      ObjectPropertyDomain(:hasBrother :Person)
      ObjectPropertyRange(:hasBrother :MalePerson)
      AnnotationAssertion(rdfs:label :hasFather "has father"@en)
      ObjectPropertyDomain(:hasFather :Person)
      ObjectPropertyRange(:hasFather :MalePerson)
      AnnotationAssertion(rdfs:label :hasUncle "has uncle"@en)
      ObjectPropertyDomain(:hasUncle :Person)
      ObjectPropertyRange(:hasUncle :MalePerson)
      SubObjectPropertyOf(ObjectPropertyChain(:hasFather :hasBrother) :hasUncle)
)



Related Pages: