Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language. - Stefan Borgwardt; Vera Demberg; Mayank Jobanputra; Alisa Kovtunova; Duy Nhu (Description Logics, 2024)

Automated planning with ontologies under coherence update semantics (Extended Version). - Stefan Borgwardt; Duy Nhu; Gabriele Röger (CoRR, 2025)