Supplementary material to the paper "Automated Planning with Ontologies under Coherence Update Semantics"

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.