// DONE @Override public void visit(OWLObjectExactCardinalityRestriction desc) { // desc.getProperty().accept(this); desc.getFiller().accept(this); OWLDescription d = this.getRelevantDescription(); this.rebuiltObjects.add( this.factory.getOWLObjectExactCardinalityRestriction( desc.getProperty(), desc.getCardinality(), d)); }
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); } }