text: 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. 