Publications

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

Franz Baader, und 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, und 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, 01.10.2024. [PUMA: FIS_scads topic_knowledge xack yaff]

Franz Baader, Francesco Kriegel, und 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, 02.09.2023. [PUMA: FIS_scads imported topic_knowledge xack yaff]