Knowledge Systems Laboratory, Stanford University
8
Property Restrictions on Instances
Joe is a person.
Ushering is an occupation of Joe.
Teaching is an occupation of Joe.
Are Ushering and Teaching both full time occupations?
No.
u<Class ID = "Person">
u   …
u   <comment>
u      Person is a subclass of resources that have at most one occupation that is a  full time occupation.
u   </comment>
u   <rdfs:subClassOf>
u      <daml:Restriction>
u         <daml:onProperty rdf:resource = “#hasOccupation” />
u         <daml:maxcardinality> 1 </daml:cardinality>
u         <daml:hasClassQ rdf:resource = “#FullTimeOccupation” />
u      </daml:Restriction>
u   </rdfs:subClassOf>
u</Class>
u