Temporalised description logics for monitoring partially observable events

Slides referencing similar topics