Filippo De Bortoli

12 papers A 1Misc 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — —
Complexity and Expressive Power of Description Logics with Numerical Constraints.
Filippo De Bortoli
2025 — conf
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract).
DL
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025 J jnl
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version).
CoRR
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025 A conf
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics.
CADE
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025 — conf
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models.
FroCoS
Franz Baader, Filippo De Bortoli
2024 J jnl
Horned-OWL: Flying Further and Faster with Ontologies.
TGDK
Phillip Lord, Björn Gehrke, Martin Larralde, Janna Hastings, Filippo De Bortoli, James A. Overton, James P. Balhoff, Jennifer D. Warrender
2024 Misc conf
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains.
SAC
Franz Baader, Filippo De Bortoli
2024 J jnl
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version).
CoRR
Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2024 — conf
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains.
Description Logics
Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2023 — conf
On the Abstract Expressive Power of Description Logics with Concrete Domains.
Description Logics
Franz Baader, Filippo De Bortoli
2020 — conf
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract).
Description Logics
Franz Baader, Filippo De Bortoli
2019 — conf
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets.
FroCos
Franz Baader, Filippo De Bortoli