Jean Christoph Jung: Computing Interpolants in Description Logics. DL 2026