Ontology: Fundamentals and Languages ◾ 51
2.8.3.3.3 Enumeration
A class description of enumeration denes an anonymous class that contains exactly
the enumerated individuals. It is dened with the owl:oneOf property that points
to a list of individuals that serve as instances of the class. It is essential to describe
the complete set of members and subelements for each member. In the example
below, the class owl:ing is used but more particular classes could be used too.
<owl:IndianSubcontinent>
<owl:oneOf rdf:parseType=”Collection”>
<owl:Thing rdf:about=”#India”/>
<owl:Thing rdf:about=“#Bangala Desh”/>
<owl:Thing rdf:about=”#Pakistan”/>
</owl:oneOf>
</owl:IndianSubcontinent>
2.8.3.3.4 Property Restrictions
A local property restriction denes ...