Cartographic semantics and remote sensing data for map revision