Publikationen von Filippo De Bortoli

Artikel in Fachzeitschriften

Franz Baader, Filippo De Bortoli
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
SIGAPP Appl. Comput. Rev., 24(3):5-17, October 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

Artikel in Tagungsbänden

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

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

Franz Baader, 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, SAC '24, 754-761, April 2024. ACM
Details Download

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
In Laura Giordano, Jean Christoph Jung, Ana Ozaki, eds., Proceedings of the 37th International Workshop on Description Logics (DL'24), volume 3739 of CEUR Workshop Proceedings, June 2024
Details

Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains
In Oliver Kutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL'23), volume 3515 of CEUR Workshop Proceedings, September 2023
Details

Franz Baader, Filippo De Bortoli
Description Logics That Count, and What They Can and Cannot Count
In Laura Kovacs, Konstantin Korovin, Giles Reger, eds., ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia, volume 68 of EPiC Series in Computing, 1-25, 2020. EasyChair
Details

Franz Baader, Filippo De Bortoli
Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)
In Stefan Borgwardt, Thomas Meyer, eds., Proceedings of the 33rd International Workshop on Description Logics (DL'20), volume 2663 of CEUR Workshop Proceedings, 2020. CEUR-WS
Details

Franz Baader, Filippo De Bortoli
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
In Andreas Herzig, Andrei Popescu, eds., Proc. of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), volume 11715 of Lecture Notes in Computer Science, 203-219, 2019. Springer
Details

Dissertationen

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

Technische Berichte

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

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

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

Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 23-02, August 2023
Details

Franz Baader, Filippo De Bortoli
On the Complexity and Expressiveness of Description Logics with Counting
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 19-09, December 2019
Details

Vorträge und Sonstiges

Filippo De Bortoli
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
Talk, September 2025
Details

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

Filippo De Bortoli
How to Design Logic-Based Decision Assistants
Talk, September 2023
Details

Filippo De Bortoli
Description Logics that Count, and What They Can and Cannot Count
Talk, September 2020
Details

Filippo De Bortoli
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
Master's Thesis, April 2019
Details