public void visit(OWLObjectComplementOf owlNot) { try { owlNot.getOperand().accept(this); ClassPointer cp = getLastClassPointer(); lastClassPointer = faCTPlusPlus.getConceptNot(cp); } catch (Exception e) { throw new FaCTPlusPlusRuntimeException(e); } }