34 
 
<control><space>. If there is only one possible completion for the string then Protégé will fill in the 
appropriate name. If there are multiple possible completions Protégé will create a menu with all the 
possible completions and allow you to select the one you want.  
5. Click on OK to enter the new restriction.   
6. Repeat steps 1-5 only this time add the restriction hasTopping some TomatoTopping. Remember to use 
<control><space> to save time typing. Synchronize the reasoner to make sure things are consistent. Your 
UI should now look similar to figure 4.18. 
_____________________________________________________________________________________ 
 
Figure 4.18 Definition for the class MargheritaPizza