public Node<OWLClass> getUnsatisfiableClasses()
throws ReasonerInterruptedException, TimeOutException {
refreshCheck();
try {
return toClassNode(kb.getAllUnsatisfiableClasses());
} catch (PelletRuntimeException e) {
throw convert(e);
}
}
