public Node<OWLClass> getEquivalentClasses(OWLClassExpression ce)
throws InconsistentOntologyException, ClassExpressionNotInProfileException,
FreshEntitiesException, ReasonerInterruptedException, TimeOutException {
refreshCheck();
try {
return toClassNode(kb.getAllEquivalentClasses(term(ce)));
} catch (PelletRuntimeException e) {
throw convert(e);
}
}
public Node<OWLClass> getTopClassNode() {
refreshCheck();
return toClassNode(kb.getAllEquivalentClasses(ATermUtils.TOP));
}