Stefan Borgwardt: Explaining Description Logic Reasoning. DL 2026