public void visit(OWLDataAllRestriction owlDataAllRestriction) { try { DataPropertyPointer p = translate(owlDataAllRestriction.getProperty()); owlDataAllRestriction.getFiller().accept(this); lastClassPointer = faCTPlusPlus.getDataAll(p, getLastDataTypeExpressionPointer()); } catch (Exception e) { throw new FaCTPlusPlusRuntimeException(e); } }