@Override
    public Node<OWLObjectPropertyExpression> getInverseObjectProperties(
            OWLObjectPropertyExpression pe)
            throws InconsistentOntologyException, FreshEntitiesException,
            ReasonerInterruptedException, TimeOutException {
        throw new ReasonerInternalException(
                "getInverseObjectProperties not implemented");
    }
@ Override public Node < OWLObjectPropertyExpression > getInverseObjectProperties ( OWLObjectPropertyExpression pe ) throws InconsistentOntologyException , FreshEntitiesException , ReasonerInterruptedException , TimeOutException { throw new ReasonerInternalException ( "getInverseObjectProperties not implemented" ) ; }
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()}.