text: 4.8.6 Reasoners Automatically Enforce Property Characteristics 
  The reasoners that work with Protégé automatically enforce all the characteristics that are described 
  above. For example, if the user enters the fact that Diya hasBirthMother Fatima and 
  isBirthMotherOf is the inverse of hasBirthMother, the reasoner will infer that Fatima 
  isBirthMotherOf Diya. These types of characteristics can significantly reduce the amount of effort 
  needed to populate an ontology with data about individuals. 