Complexity and Expressive Power of Description Logics with Numerical Constraints
Aus International Center for Computational Logic
Complexity and Expressive Power of Description Logics with Numerical Constraints
Vortrag von Filippo De Bortoli
- Veranstaltungsort: APB-2026
- Beginn: 7. Mai 2026 um 11:00
- Ende: 7. Mai 2026 um 12:00
- Forschungsgruppe: 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 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.
