code: static void setInverseIsAs(Instance propInstance,
              AbstractPropositionDefinition propDef, ConnectionManager cm)
              throws KnowledgeSourceReadException {
          Collection<?> isas = propInstance.getDirectOwnSlotValues(cm
                  .getSlot("inverseIsA"));
          Logger logger = Util.logger();
          if (isas != null && !isas.isEmpty()) {
              Set<String> inverseIsANames = resolveAndLogDuplicates(isas, logger,
                      propInstance, "inverseIsA");
              String[] inverseIsAsArr = inverseIsANames
                      .toArray(new String[inverseIsANames.size()]);
              propDef.setInverseIsA(inverseIsAsArr);
          }
      }
docs: Sets inverseIsA on the given proposition definition. Automatically
  resolves duplicate entries but logs a warning.
  
  @param propInstance a Protege proposition definition {@link Instance}.
  @param propDef the corresponding {@link AbstractPropositionDefinition}.
  @param cm a {@link ConnectionManager}.
  @throws KnowledgeSourceReadException if there is an error accessing the
  Protege ontology.