@Override
 public void visit(OWLObjectValueRestriction desc) {
   URI nominalClassURI =
       URI.create(
           GlobalSettings.NOMINAL_PREFIX + "#ValueRestrictionSubstitute_" + nextExtCounter++);
   OWLClass nominalClass = this.factory.getOWLClass(nominalClassURI);
   OWLObjectSomeRestriction someRestriction =
       this.factory.getOWLObjectSomeRestriction(desc.getProperty(), nominalClass);
   this.addSubClassAxiomForNominalSubstitute(desc.getValue(), nominalClass);
   this.rebuiltObjects.add(someRestriction);
 }
 public void visit(OWLObjectValueRestriction owlObjectValueRestriction) {
   try {
     owlObjectValueRestriction.getValue().accept(this);
     IndividualPointer individualPointer = getLastIndividualPointer();
     owlObjectValueRestriction.getProperty().accept(this);
     ObjectPropertyPointer propertyPointer = getLastObjectPropertyPointer();
     lastClassPointer = faCTPlusPlus.getObjectValue(propertyPointer, individualPointer);
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }