[DL] Next Description Logic Seminar: Jean Christoph Jung, on February 20

[Maurice Funk]

Dear DL and KR Community Members,

we are happy to announce that the next Description Logic Seminar will take place on February 20, 2026, at 2pm via Zoom.
Our next speaker is Jean Christoph Jung from TU Dortmund and the topic of the talk is "Computing Interpolants in Description Logics".

Abstract:
Interpolants have many applications in Description Logics. First, interpolants with restricted language may serve as explanations for given complicated entailments. Second, in many DLs existence of explicit definitions reduces to existence of interpolants. And finally, it has been shown recently that interpolants may serve as fitting concepts in certain setups of concept learning. In all these applications, the actual interpolants are needed and hence we need methods to compute them. However, this requires in many cases techniques that go beyond deciding their existence, and this talk will present several such techniques. 

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

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