Borgwardt, Stefan, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, and Marcel Steinmetz. 2022. “Expressivity of Planning With Horn Description Logic Ontologies”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5503-11. https://doi.org/10.1609/aaai.v36i5.20489.