On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. - Franz Baader; Filippo De Bortoli (FroCos, 2019)

Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). - Franz Baader; Filippo De Bortoli (Description Logics, 2020)

On the Abstract Expressive Power of Description Logics with Concrete Domains. - Franz Baader; Filippo De Bortoli (Description Logics, 2023)

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. - Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (Description Logics, 2024)

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. - Franz Baader; Filippo De Bortoli (SAC, 2024)

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). - Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CoRR, 2024)

Horned-OWL: Flying Further and Faster with Ontologies. - Phillip Lord; Björn Gehrke; Martin Larralde; Janna Hastings; Filippo De Bortoli; James A. Overton; James P. Balhoff; Jennifer D. Warrender (TGDK, 2024)

Horned-OWL. - Phillip Lord; Björn Gehrke; Martin Larralde; Janna Hastings; Filippo De Bortoli; James A. Overton; James P. Balhoff; Jennifer D. Warrender (DROPS Artifacts, 2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CADE, 2025)

Complexity and Expressive Power of Description Logics with Numerical Constraints. - Filippo De Bortoli (2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CoRR, 2025)