Making Axiom Weakening Work in SROIQ. - Roland Bernard; Oliver Kutz; Nicolas Troquard (Description Logics, 2023)