Formalizations for geooperators-geoprocessing in Spatial Data Infrastructures - Brauner, Johannes