Knowledge Systems Laboratory, Stanford University
10
Property Features
u
Declaring an inverse of a property
ä
<Property ID = "
child
">
ä
<inverseOf resource = "#parent” />
ä
</Property>
Bill is a child of Joe.
Is Joe a parent of Bill?
Yes.
Bill is a descendant of Joe.
Joe is a descendant of Sam
Is Bill a descendant of Sam?
Yes.
u
Declaring a property to be transitive
ä
<TransitiveProperty ID = "
ancestor
” />
ä
<TransitiveProperty ID = "
descendant
” />
