Borgwardt, S.; Hoffmann, J.; Kovtunova, A.; Krötzsch, M.; Nebel, B.; Steinmetz, M. Expressivity of Planning With Horn Description Logic Ontologies. AAAI 2022, 36, 5503-5511.