Published June 28, 2022
| Version v2
Software
Open
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies"
Authors/Creators
- 1. TU Dresden
- 2. Saarland University
- 3. University of Freiburg
Description
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.
Notes
This work is supported by DFG grant 389792660 as part of TRR 248 – CPEC (https://perspicuous-computing.science).
Files
pddl-horndl-master.zip
Files
(3.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:2d0dbb2f9237e808eda67f92636f113a
|
3.2 MB | Preview Download |
|
md5:62095e0025f97ae0c7c37fd2bc891488
|
2.8 kB | Preview Download |
Additional details
Related works
- Is identical to
- Software: https://gitlab.perspicuous-computing.science/a.kovtunova/pddl-horndl (URL)
- Is supplement to
- Conference paper: 10.1609/aaai.v36i5.20489 (DOI)
- Technical note: 10.48550/arXiv.2203.09361 (DOI)
- Working paper: https://ceur-ws.org/Vol-3263/abstract-5.pdf (URL)