code: @Override
      public NodeSet<OWLNamedIndividual> getDifferentIndividuals(
              OWLNamedIndividual ind) throws InconsistentOntologyException,
              FreshEntitiesException, ReasonerInterruptedException,
              TimeOutException {
          throw new ReasonerInternalException(
                  "getDifferentIndividuals not implemented");
      }
docs: Gets the individuals which are entailed to be different from the
  specified individual. The individuals are returned as a
  {@link NodeSet}.
  
  @param ind
  The individual whose different individuals are to be returned.
  @return A <code>NodeSet</code> containing <code>OWLNamedIndividual</code>
  s such that for each individual <code>i</code> in the
  <code>NodeSet</code> the set of reasoner axioms entails
  <code>DifferentIndividuals(ind, i)</code>.
  
  @throws InconsistentOntologyException
  if the imports closure of the root ontology is inconsistent
  @throws FreshEntitiesException
  if the signature of the individual 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()}.