With the recent boost in artificial intelligence, autonomous driving is one of the highly researched and invested areas. The focus of such work is not only constructing reliable (hardware) components but embedding intelligence into such components as well. For Bosch, a major supplier of automotive technologies, this has resulted in moving from being a components manufacturer to becoming a supplier of (sub-)systems that need to handle complex real-life scenarios autonomously. As these systems rely less on human intervention, verifying and assuring their intended behavior is of vital importance. However, classical formal verification methods focus on the functional integrity of the systems only. These methods do not take the complex context into account, which highly influences the behavior of these complex systems. In our approach, for the verification of requirements regarding their consistency with the external world, we complement formal model checking with ontologies: capturing the world knowledge and describing the system under test (SUT).