[DL] Next Description Logic Seminar: Roman Kontchakov, on May 22

[Maurice Funk]

Dear DL and KR Community Members,

we are happy to announce that the next Description Logic Seminar will take place one week from now on May 22, 2026, at 2pm CEST via Zoom.
Our next speaker is Roman Kontchakov from Birkbeck, University of London and the topic of the talk is "Sketches on Temporal Description Logic".

Abstract:
We consider extensions of description logics (TDLs) with temporal operators, with a focus on the consistency and entailment problems. We discuss various design choices for temporalised languages and highlight their well-known effects on the complexity of reasoning in TDLs. We also review some standard methods for showing decidability and establishing complexity bounds. We then focus on two more recent developments, non-rigid nominals in TDLs and the connections of temporal EL to equations on sets of integers.

Zoom link:
https://uni-leipzig.zoom-x.de/j/63588025209?pwd=FRvXgOh8tmRx7VLaifLSMmpOF00TVZ.1

See you there!
Bartosz Bednarczyk, Elena Botoeva, Maurice Funk, and Quentin Manière