Пример #1
0
  public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce)
      throws InconsistentOntologyException, ClassExpressionNotInProfileException,
          FreshEntitiesException, ReasonerInterruptedException, TimeOutException {

    refreshCheck();
    try {
      Set<Set<ATermAppl>> disjoints = kb.getDisjointClasses(term(ce));
      return toClassNodeSet(disjoints);
    } catch (PelletRuntimeException e) {
      throw convert(e);
    }
  }