public void visit(OWLDataType dataType) {
   try {
     lastDataTypeExpressionPointer = null;
     lastDataTypePointer =
         (DataTypePointer) owlDataRange2DataTypeExpressionPointerMap.get(dataType);
     if (lastDataTypePointer == null) {
       if (owlOntologyManager.getOWLDataFactory().getTopDataType().equals(dataType)) {
         lastDataTypePointer = faCTPlusPlus.getDataTop();
       } else {
         lastDataTypePointer = faCTPlusPlus.getBuiltInDataType(dataType.getURI().toString());
       }
       owlDataRange2DataTypeExpressionPointerMap.put(dataType, lastDataTypePointer);
       dataTypeExpressionPointerMap.put(lastDataTypePointer, dataType);
     }
   } catch (Exception e) {
     throw new FaCTPlusPlusRuntimeException(e);
   }
 }