Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B., & Steinmetz, M. (2022). Expressivity of Planning with Horn Description Logic Ontologies. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5503-5511. https://doi.org/10.1609/aaai.v36i5.20489