daml:TransitiveProperty
we can specify that an ObjectProperty is transitive
example: given
<daml:TransitiveProperty rdf:ID="ancestor"/>
and
we can infer
among other things,
daml:TransitiveProperty
allows us to construct partonomies (transitive partOf relationships)
Mike Dean
88 of 130