Complexity and Expressive Power of Description Logics with Numerical Constraints
From International Center for Computational Logic
Complexity and Expressive Power of Description Logics with Numerical Constraints
Talk by Filippo De Bortoli
- Location: APB-2026
- Start: 7. May 2026 at 11:00 am
- End: 7. May 2026 at 12:00 pm
- Research group: Computational Logic
- Event series: Research Seminar Logic and AI
- iCal
In this talk the speaker will showcase some of the results developed in his doctoral thesis, defended in August 2025. After a high-level introduction to Description Logics, their usage for knowledge representation and the mechanisms that they offer to encode numerical knowledge, the talk will present the two main research questions tackled in the dissertation: is it possible to design an automated procedure for reasoning with these logics? Can we find structural/mathematical characterizations of these logics that relate the meaning of a formula to its possible syntactic representations? For both questions, the speaker will present some of the results, and briefly argue their relevance and impact on different aspects of knowledge representation. The talk will thus provide a window to a high-level overview of some of the work done at the intersection of knowledge representation and numerical reasoning.
Notably, the speaker will also present the talk as the TU Dresden nominee for the GI e.V. Dissertationspreis 2025, at the ceremony which will be held in May 2026, in Dagstuhl.
