Supplementary material to the paper Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz: Expressivity of Planning with Horn Description Logic Ontologies. 5503-5511 2022 AAAI https://ojs.aaai.org/index.php/AAAI/article/view/20489 It includes: * an appendix with the proofs omitted from the main text * a set of problem instances, * a code of a compiler that uses Clipper as a reasoner to deal with ontologies. Clipper is available online on https://github.com/ghxiao/clipper * and a patch for Clipper assuring multiple query rewriting at a time. The benchmark collection consists of a total 271 instances from different sources, existing one and newly created.

This work is supported by DFG grant 389792660 as part of TRR 248 – CPEC (https://perspicuous-computing.science).