public void visit(OWLObjectExactCardinalityRestriction desc) { try { desc.getFiller().accept(this); ClassPointer classPointer = getLastClassPointer(); desc.getProperty().accept(this); ObjectPropertyPointer propertyPointer = getLastObjectPropertyPointer(); lastClassPointer = faCTPlusPlus.getObjectExact(desc.getCardinality(), propertyPointer, classPointer); } catch (Exception e) { throw new FaCTPlusPlusRuntimeException(e); } }