Filippo De Bortoli
Dr.-Ing. Filippo De Bortoli
Wissenschaftlicher Mitarbeiter Computational Logic
Co-located at S14-717.
About me
I am a research associate at the Computational Logic group and Coordinator of the Graduate School at the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI) (of which I am also team member in the Transfer and Service unit) since October 2025.
Previously, I was research associate at the Chair of Automata Theory from May 2019 to September 2025. I have been team member at ScaDS.AI since July 2022, having first worked in the "Mathematical Foundations and Statistical Learning" area and concurrently in the "Cognitive AI" unit at ScaDS.AI Dresden. From May 2019 to June 2022 I was a member of the DFG Research Training Group 1763 Quantitative Logics and Automata (QuantLA).
In August 2025 I successfully defended my doctoral thesis, written under the supervision of Prof. Dr.-Ing. Franz Baader, with title "Complexity and Expressive Power of Description Logics with Numerical Constraints".
Links
...and more publication records:
Misc
I support the Theoretical Computer Scientists 4 Future initiative.
Neueste Publikationen
Komplette Publikationsliste anzeigen
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
Talk, September 2025
Details
Complexity and Expressive Power of Description Logics with Numerical Constraints
Phd thesis, Technische Universität Dresden, 2025-08-11
Details
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics
In Clark Barrett, Uwe Waldmann, eds., Automated Deduction – CADE 30, volume 15943 of Lecture Notes in Artificial Intelligence, 676–695, July 2025. Springer
Details
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
In René Thiemann, Christoph Weidenbach, eds., Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings, volume 15979 of Lecture Notes in Artificial Intelligence, 22-39, September 2025. Springer
Details
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-25-03, 2025
Details
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2505.21103, May 2025
Details
The Expressive Power of Quantitative Extensions of Description Logics
Talk, April 2024
Details
Horned-OWL: Flying Further and Faster with Ontologies
Transactions on Graph Data and Knowledge (TGDK), 2(2):1-14, December 2024
Details
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2405.19096, May 2024
Details
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
SIGAPP Appl. Comput. Rev., 24(3):5-17, October 2024
Details
