TY  - RPRT
TI  - Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
AU  - Stefan Borgwardt
AU  - Jörg Hoffmann
AU  - Alisa Kovtunova
AU  - Markus Krötzsch
AU  - Bernhard Nebel
AU  - Marcel Steinmetz
PY  - 2022
UR  - https://arxiv.org/abs/2203.09361
ID  - 2203.09361
ER  -