public void visit(OWLObjectSelfRestriction desc) { try { desc.getProperty().accept(this); lastClassPointer = faCTPlusPlus.getSelf(getLastObjectPropertyPointer()); } catch (Exception e) { throw new FaCTPlusPlusRuntimeException(e); } }