Franz Baader Filippo De Bortoli On the Abstract Expressive Power of Description Logics with Concrete Domains. 2023 Description Logics https://ceur-ws.org/Vol-3515/paper-3.pdf conf/dlog/2023 db/conf/dlog/dlog2023.html#BaaderB23