Esempio n. 1
0
 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);
   }
 }
Esempio n. 2
0
 public Node<OWLClass> getTopClassNode() {
   refreshCheck();
   return toClassNode(kb.getAllEquivalentClasses(ATermUtils.TOP));
 }