text: 1. Select the class Pizza in the class hierarchy. 
  
  2. Find the Disjoint With option in the Description view and select the (+) sign next to it. See the red 
  circle in figure 4.6. 
  
  3. This should bring up a dialog with two tabs: Class hierarchy and Expression editor. You want Class 
  hierarchy for now (we will use the expression editor later). This gives you an interface to select a class 
  that is identical to the Class hierarchy view. Use it to navigate to PizzaBase. Hold down the shift key and 
  select PizzaBase and PizzaTopping. Select OK. 
  
  4. Do a Reasoner>Synchronize reasoner. Then look at PizzaBase and PizzaTopping. You should see 
  that they each have the appropriate disjoint axioms defined to indicate that each of these classes is disjoint 
  with the other two. 
  
  __ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ___