Stefan BorgwardtJörg Hoffmann 0001Alisa KovtunovaMarkus KrötzschBernhard NebelMarcel SteinmetzExpressivity of Planning with Horn Description Logic Ontologies.5503-55112022AAAIhttps://doi.org/10.1609/aaai.v36i5.20489conf/aaai/2022db/conf/aaai/aaai2022.html#Borgwardt0KKNS22