TY - RPRT TI - Robustness of Constraint Automata for Description Logics with Concrete Domains AU - Stéphane Demri AU - Tianwen Gu PY - 2026 UR - https://arxiv.org/abs/2601.19644 ID - 2601.19644 ER -