MULTI-DOMAIN SEMANTIC MODELS AND REASONING FOR SAFETY-CRITICAL URBAN OPERATIONS