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

Kurzfassung

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. We make a 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. An initial but optimized implementation of this language shows promising results on a synthetic data set.