Filippo De Bortoli
Aus International Center for Computational Logic
Dr.-Ing. Filippo De Bortoli
Ehemaliges Mitglied
- Ehemals Wissenschaftlicher Mitarbeiter in Forschungsgruppe Computational Logic
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
