This bundle contains the codebase, benchmark, and experiment data for the paper: Stefan Borgwardt, Duy Nhu, Gabriele Röger: Automated Planning with Ontologies under Coherence Update Semantics. KR'25, to appear. Details are as follows: supplementary.pdf contains the appendix with the proofs and plots omitted from the main text. pddl-horndl-main.zip contains: a set of problem instances, the code base of a compiler that uses Clipper (https://github.com/ghxiao/clipper), a patch for Clipper enabling rewriting of multiple queries at a time, a patch for Clipper to support multiple queries with the same body, a detailed documentation for running the compiler. lab-experiment.zip contains the Fast Downward experiments. The raw data is located in data/blind-ff-all-may-27 with a subdirectory tree structure "runs-*" where each planner run has its own directory. Directory data/blind-ff-all-may-27-eval contains the processed data with a "properties" file, which contains a JSON directory with combined data of all runs of the experiment. In addition, it contains an HTML page with an overview of the results, as well as a number of TeX files for different runtime plots. The data was created by `blind-ff-all-may-27.py`, which builds on the lab python package (https://github.com/aibasel/lab). For reproducing the results, install the requirements from requirements.txt in a Python virtual environment. Environment variable DOWNWARD_AIBASEL must point to a local copy of Fast Downward (https://github.com/aibasel/downward/). lab-v8.4.tar.gz contains a copy of Lab 8.4 (https://github.com/aibasel/lab) and is only necessary for reproducing the experiments. fast-downward.zip contains a copy of Fast Downward as used in the experiments.