text: 4.2 Using a Reasoner 
  You may notice that one or more of your classes is highlighted in red as in Figure 4.5. This is because we 
  haven’t run the reasoner yet so Protégé has not been able to verify that our new classes have no 
  inconsistencies. When just creating classes and subclasses in a new ontology there is little chance of an 
  inconsistency. However, it is a good idea to run the reasoner often. When there is an inconsistency the 
  sooner it is discovered the easier it is to fix. One common mistake that new users make is to do a lot of 
  development and then run the reasoner only to find that there are multiple inconsistencies which can make 
  debugging significantly more difficult. So let’s get into the good habit of running the reasoner often. 
  Protégé comes with some reasoners bundled in and others available as plugins. Since we are going to 
  write some SWRL rules later in the tutorial, we want to use the Pellet reasoner. It has the best support for 
  SWRL at the time this tutorial is being written. 
  
  **Exercise 5: Install and Run the Pellet Reasoner**
  
  __ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ___