Knowledge Systems Laboratory, Stanford University
9
Property Features
u
Declaring a property to be a subproperty with cardinality 1
ä
<Property ID = "
father
">
ä
<subProperty resource = "#parent” />
ä
<range resource = "#Man” />
ä
<cardinality> 1 </cardinality>
ä
</Property>
John is a father of Joe.
Is John a parent of Joe?
Yes.
What is John?
A Man.
How many fathers does
Joe have?
1.
Joan is a mom of Joe.
Is Joan a mother of Joe?
Yes.
u
Declaring a property to be unique
ä
<UniqueProperty ID = "
mother
">
ä
<subProperty resource = "#parent” />
ä
<range resource = "#Woman” />
ä
</UniqueProperty>
u
Declaring a property to be equivalent to another property
ä
<Property ID = "
mom
">
ä
<equivalentTo resource = "
#mother
” />
ä
</Property>
