Let's assume that sometime in the far future, ice-mining on Europa has become a very profitable business venture due to dwindling fresh water on Earth and the growing demand for more water from the Mars colonies (yes I know that Europa is primarily saltwater and would thus require filtering at additional cost, but it's a more quote unquote "stationary" target than something like large ice-teroids). So companies have begun drilling deep into the ice and establishing large rigs, perhaps even colonies, in the form of upside-down domed cities (like the one they're currently building in Dubai) that cling to the bottom of the ice layer.
How would a construct like this maintain its artificial gravity so people wouldn't just go falling into the sky (which in this case would mean "down towards the ocean")?