public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { return getIndividualNodeSet(kb.getDifferents(term(ind))); } catch (PelletRuntimeException e) { throw convert(e); } }