Publications

Filippo De Bortoli, Stefan Borgwardt, and Patrick Koopmann. The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains. In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), (3739)CEUR-WS.org, June 2024. [PUMA: FIS_scads imported topic_knowledge xack yaff]

Franz Baader, and Filippo De Bortoli. The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 754--761, Association for Computing Machinery (ACM), New York, United States of America, 2024. [PUMA: FIS_scads imported topic_knowledge xack yaff]

Franz Baader, and Filippo De Bortoli. Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. ACM SIGAPP Applied Computing Review, (24)3:5–17, Association for Computing Machinery (ACM), New York, Oct 1, 2024. [PUMA: FIS_scads topic_knowledge xack yaff]

Franz Baader, Francesco Kriegel, and Adrian Nuradiansyah. Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract). Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, Sep 2, 2023. [PUMA: FIS_scads imported topic_knowledge xack yaff]