public void visit(OWLDataProperty owlDataProperty) {
   try {
     lastDataPropertyPointer = owlDataProperty2DataPropertyPointerMap.get(owlDataProperty);
     if (lastDataPropertyPointer == null) {
       lastDataPropertyPointer = faCTPlusPlus.getDataProperty(owlDataProperty.getURI().toString());
       dataPropertyPointerMap.put(lastDataPropertyPointer, owlDataProperty);
       owlDataProperty2DataPropertyPointerMap.put(owlDataProperty, lastDataPropertyPointer);
     }
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }