S. Borgwardt, J. Hoffmann, A. Kovtunova, M. Krötzsch, B. Nebel, and M. Steinmetz, “Expressivity of Planning with Horn Description Logic Ontologies”, AAAI, vol. 36, no. 5, pp. 5503-5511, Jun. 2022.