Analysing Temporal Reasoning in Description Logics Using Formal Grammars

Camille Bourgaux, Anton Gnatenko, Michaël Thomazo

We establish a correspondence between (fragments of) ${\mathcal{T}\mathcal{E}\mathcal{L}}^{◯}$, a temporal extension of the $\mathcal{E}\mathcal{L}$ description logic with the LTL operator ${◯}^k$, and…