Dr.-Ing. Filippo De Bortoli

Wissenschaftlicher Mitarbeiter Computational Logic

Über mich

Von Oktober 2025 bis September 2026 war ich wissenschaftlicher Mitarbeiter bei der Computational Logic Gruppe an der TU Dresden und Koordinator des Graduate Schools beim Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI) (da war ich auch Mitglieder in der Einheit Transfer and Service).

Früher war ich wissenschatflicher Mitarbeiter beim Lehrstuhl Automatentheorie von Mai 2019 bis September 2025. Von Juli 2022 bis September 2026 war ich Mitglieder beim ScaDS.AI, dabei habe ich im Bereich "Mathematical Foundations and Statistical Learning" in der Abteilung "Cognitive AI" gearbeitet. Von Mai 2019 bis Juni 2022 war ich Mitglieder des DFG Graduiertenkollegs 1763 Quantitative Logics and Automata (QuantLA).

In August 2025 habe ich meine Promotion erfolgreich abgeschlossen. Mein Betreuer war Prof. Dr.-Ing. Franz Baader und meine Dissertation war über das Thema "Complexity and Expressive Power of Description Logics with Numerical Constraints".

Links

...and more publication records:

Sonstiges

Ich unterstütze die Theoretical Computer Scientists 4 Future-Initiative.

Publikationen

Neueste Publikationen

Komplette Publikationsliste anzeigen

Filippo De Bortoli
Complexity and Expressive Power of Description Logics with Numerical Constraints
Talk, January 2026
Details

Franz Baader, Filippo De Bortoli
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 Download

Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
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 Download

Filippo De Bortoli
Complexity and Expressive Power of Description Logics with Numerical Constraints
Phd thesis, Technische Universität Dresden, 2025-08-11
Details Download

Franz Baader, Filippo De Bortoli
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 Download

Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)
In Lidia Tendera, Yazmín Ibáñez-García, Patrick Koopmann, eds., Proceedings of the 38th International Workshop on Description Logics (DL'25), volume 4091 of CEUR Workshop Proceedings, 5, September 2025. CEUR-WS.org
Details

Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2505.21103, May 2025
Details

Filippo De Bortoli
The Expressive Power of Quantitative Extensions of Description Logics
Talk, April 2024
Details

Phillip Lord, Björn Gehrke, Martin Larralde, Janna Hastings, Filippo De Bortoli, James A. Overton, James P. Balhoff, Jennifer Warrender
Horned-OWL: Flying Further and Faster with Ontologies
Transactions on Graph Data and Knowledge (TGDK), 2(2):1-14, December 2024
Details

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
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