title: Superclasses header not available in Protege 4.3
body: <p>I am using protege 4.3 and pizza tutorial from 130.88.198.11/tutorials/protegeowltutorial/resources/ProtegeOWLTutorialP4_v1_3.pdf (href not working as the link has numeric domain) but there are lots of discrepancies like superclasses header is not present as shown in following picture:-</p>
  
  <p><img src="https://i.stack.imgur.com/29kFy.jpg" alt="enter image description here"></p>
  
  <p>further a couple of widgets that tutorial talk about could not be found in protege. Please guide me which plugins exactly required for Superclasses header (which is hindering me from adding restrictions) and generally for all other functions. 
  Thanks.</p>