code: @Override
      public NodeSet<OWLObjectPropertyExpression> getDisjointObjectProperties(
              OWLObjectPropertyExpression pe)
              throws InconsistentOntologyException, FreshEntitiesException,
              ReasonerInterruptedException, TimeOutException {
          throw new ReasonerInternalException(
                  "getDisjointObjectProperties not implemented");
      }
docs: Gets the <a href="#spe">simplified object property expressions</a> that
  are disjoint with the specified object property expression
  <code>pe</code>. The object properties are returned as a
  {@link NodeSet}.
  
  @param pe
  The object property expression whose disjoint object
  properties are to be retrieved.
  @return The return value is a <code>NodeSet</code> of <a
  href="#spe">simplified object property expressions</a>, such that
  for each <a href="#spe">simplified object property
  expression</a>, <code>P</code>, in the <code>NodeSet</code> the
  set of reasoner axioms entails
  <code>EquivalentObjectProperties(P, ObjectPropertyComplementOf(pe))</code>
  or
  <code>StrictSubObjectPropertyOf(P, ObjectPropertyComplementOf(pe))</code>
  .
  
  @throws InconsistentOntologyException
  if the imports closure of the root ontology is inconsistent
  @throws ClassExpressionNotInProfileException
  if <code>object propertyExpression</code> is not within the
  profile that is supported by this reasoner.
  @throws FreshEntitiesException
  if the signature of <code>pe</code> 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}.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()}.