Zhao, Y.; Schmidt, R.; Wang, Y.; Zhang, X.; Feng, H. A Practical Approach to Forgetting in Description Logics With Nominals. AAAI 2020, 34, 3073-3079.