Analysing Temporal Reasoning in Description Logics Using Formal Grammars. - Camille Bourgaux; Anton Gnatenko; Michaël Thomazo (CoRR, 2025)