text: Note that if you just type a few characters, the number of possible completions may be large 
  resulting in an unwieldy menu. Also, Protégé doesn’t do things like type checking on possible 
  completions. For example, if you type “Chee” and do <control><space> you will be prompted 
  with CheeseTopping and CheesyPizza as possible completions even though a Pizza is not 
  in the range of hasTopping. This is where the reasoner can also help. If you enter a class that 
  is not in the range of hasTopping the reasoner will signal an inconsistency. 