57 
 
5. Repeat steps 1-4 but this time create a subclass of Pizza called LowCaloriePizza and make its 
definition be: hasCaloricContent some xsd:integer[< 400]. 
6. Run the reasoner. You should now see that each instance of Pizza that hasCaloricContent greater 
than or equal to 400 is classified as a HighCaloriePizza and similarly those with less than 400 as 
LowCaloriePizza. See the Description view in figure 5.7. 
_____________________________________________________________________________________ 
Figure 5.7 High Calorie Pizzas