TY  - RPRT
TI  - Analysing Temporal Reasoning in Description Logics Using Formal Grammars
AU  - Camille Bourgaux
AU  - Anton Gnatenko
AU  - Michaël Thomazo
PY  - 2025
UR  - https://arxiv.org/abs/2508.00575
ID  - 2508.00575
ER  -