Supplementary Material to Expressivity of Planning with Horn Description Logic Ontologies