Situation Recognition in Complex Operational Domains using Temporal and Description Logics – A Motivation from the Automotive Domain

When confronted with automated systems operating in highly complex domains, such as urban road traffic, situations relevant to the automation must be recognized in data. Our presentation makes a case for temporal querying over expressive description logics as a suitable solution to this task. To highlight its benefits, we contribute a practical motivation for temporal querying from the field of scenario-based assessment of automated driving systems. We identify desired properties of such temporal queries and devise a tailor-made language for them, based on top of Mission-Time Linear Temporal Logic and Conjunctive Queries. Finally, we present a summary of our ongoing work regarding an implementation of this language.