Analysing Temporal Reasoning in Description Logics Using Formal Grammars