code: @Override
      public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce)
              throws ReasonerInterruptedException, TimeOutException,
              FreshEntitiesException, InconsistentOntologyException {
          throw new ReasonerInternalException(
                  "getDisjointClasses not implemented");
      }
docs: Gets the classes that are disjoint with the specified class expression
  <code>ce</code>. The classes are returned as a
  {@link NodeSet}.
  
  @param ce
  The class expression whose disjoint classes are to be
  retrieved.
  @return The return value is a <code>NodeSet</code> such that for each
  class <code>D</code> in the <code>NodeSet</code> the set of
  reasoner axioms entails
  <code>EquivalentClasses(D, ObjectComplementOf(ce))</code> or
  <code>StrictSubClassOf(D, ObjectComplementOf(ce))</code>.
  
  @throws InconsistentOntologyException
  if the imports closure of the root ontology is inconsistent
  @throws ClassExpressionNotInProfileException
  if <code>classExpression</code> is not within the profile
  that is supported by this reasoner.
  @throws FreshEntitiesException
  if the signature of the classExpression 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()}.