public void visit(OWLDataMinCardinalityRestriction desc) { try { desc.getProperty().accept(this); DataPropertyPointer p = getLastDataPropertyPointer(); desc.getFiller().accept(this); lastClassPointer = faCTPlusPlus.getDataAtLeast(desc.getCardinality(), p, getLastDataTypeExpressionPointer()); } catch (Exception e) { throw new FaCTPlusPlusRuntimeException(e); } }