code: @Override
      public Node<OWLObjectPropertyExpression> getInverseObjectProperties(
              OWLObjectPropertyExpression pe)
              throws InconsistentOntologyException, FreshEntitiesException,
              ReasonerInterruptedException, TimeOutException {
          throw new ReasonerInternalException(
                  "getInverseObjectProperties not implemented");
      }
docs: Gets the set of <a href="#spe">simplified object property expressions</a>
  that are the inverses of the specified object property expression with
  respect to the imports closure of the root ontology. The properties are
  returned as a {@link NodeSet}
  
  @param pe
  The property expression whose inverse properties are to be
  retrieved.
  @return A <code>NodeSet</code> of <a href="#spe">simplified object
  property expressions</a>, such that for each simplified object
  property expression <code>P</code> in the nodes set, the set of
  reasoner axioms entails
  <code>InverseObjectProperties(pe, P)</code>.
  
  @throws InconsistentOntologyException
  if the imports closure of the root ontology is inconsistent
  @throws FreshEntitiesException
  if the signature of the object property expression is not
  contained within the signature of the imports closure of the
  root ontology and the undeclared entity policy of this
  reasoner is set to {@link FreshEntityPolicy#DISALLOW}.
  @throws ReasonerInterruptedException
  if the reasoning process was interrupted for any particular
  reason (for example if reasoning was cancelled by a client
  process)
  @throws TimeOutException
  if the reasoner timed out during a basic reasoning operation.
  See {@link #getTimeOut()}.