59 
 
Next go back to the Individuals by class tab. Go to the Individuals by type (inferred) view. You should 
see the individuals that exist right now. So far we have the example Pizzas you created and the instances 
of Spiciness: Hot, Medium, and Mild. Click on Hot. Notice that in the Property assertions view in the 
lower right corner the title should now say: Property assertions: Hot.  Click on the (+) icon next to Object 
property assertions. You will be prompted with a form with two areas to input values. The name of the 
property goes in the left hand side and the value in the right hand side (see figure 6.1). Type in 
isSpicierThan as the name of the property.  Remember you can use auto-complete so you should only 
need to type isS and type <control><space> and Protégé will fill in the name of the property. Enter 
Medium as the value. Your UI should look similar to figure 6.1. Select OK. Now click on Medium and 
set its isSpicierThan value to be Mild. That is all the data entry you need to do. Now run the reasoner 
again and click on the Hot, Medium, and Mild individuals. You should see that all the additional 
isSpicierThan and isMilderThan values have been filled in for you because the reasoner knows that 
the two properties are inverses and transitive. For example, Mild, which we didn’t edit at all, should have 
two values for isMilderThan filled in by the reasoner.  
We can use these properties in various ways to reason about the relative spiciness of things. We will show 
some examples in chapter 8.  
 
 
 
 
 
 
 
 
  
This concludes the basics of designing classes and properties with Protégé. There is also a web 
version of Protégé available at https://webprotege.stanford.edu/# This takes you to a page 
where you can create an account by providing an email and creating a password.  Web Protégé 
supports multiple users and has extra capabilities such as threaded discussions for collaborative 
development of ontologies.  However, it currently does not support any reasoners, so it is a 
good idea to bring ontologies developed in WebProtégé into the desktop version to run the 
reasoner and validate the ontology.  See chapter 12 for more on Web Protégé.