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