58 
 
Chapter 6 Adding Order to an Enumerated Class 
 
In this chapter we will expand on the enumerated class that we created to model spiciness in chapter 4.14. 
This chapter will highlight some of the power of object properties in OWL. We are going to create an 
ordering for the instances of Spiciness. I.e., Hot isSpicierThan Medium which isSpicierThan 
Mild. To start go to the Object properties tab. Create a new property that is a sub-property of 
owl:topObjectProperty. Call this property isSpicierThan. Make its domain and range the Spiciness class. 
Make the property transitive. Transitive means that if X isSpicierThan Y and Y isSpicierThan Z 
then X isSpicierThan Z. This is of course similar to the greater than and less than relations in math. 
Create another property called isMilderThan. Make one property the inverse of the other. It doesn’t matter 
which one, you only have to specify that one property is the inverse of another, and the reasoner will 
realize that both are inverses. Run the reasoner. You will see that the reasoner has inferred the domain and 
range for isMilderThan than as well as the fact that it is transitive and the inverse of isSpicierThan.  
Figure 6.1 Setting isSpicierThan property in the Individuals by class tab