Semantic Modeling and Control of Urban Water Supply Networks