DL Axioms to PDDL Planning

translates OWL TBox axioms to PDDL derived predicates and inputs them into existing PDDL domain
translates OWL ABox axioms to PDDL to assertions and inputs them into existing PDDL problem
takes care of introducing new constants and objects, where necessary

Build

build project by running

./gradlew shadowJar

run insertion of OWL axioms into PDDL with

./OWLToPDDL.sh --owl=<inputOWL> --tBox --inDomain=e<inputPDDLdomain> --outDomain=<outputPDDLdomain> [OPTIONS]

./OWLToPDDL.sh --owl=<inputOWL> --aBox --inProblem=<inputPDDLproblem> --outProblem=<outputPDDLproblem> [OPTIONS]

./OWLToPDDL.sh --owl=<inputOWL> --tBox --inDomain=<inputPDDLdomain> --outDomain=<outputPDDLdomain> --aBox --inProblem=<inputPDDLproblem> --outProblem=<outputPDDLproblem> [OPTIONS]
only modifying PDDL domain by inserting TBox axioms, only modifying PDDL prblem by inserting ABox axioms or both are possible
run ./OWLToPDDL.sh -hto see all options

I recommend using SYMK planner, as it works quite well so far and should be good for derived predicates paper: "Symbolic Planning with Axioms"

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
.idea		.idea
.kotlintest		.kotlintest
examples		examples
gradle/wrapper		gradle/wrapper
src		src
.gitignore		.gitignore
OWLToPDDL.sh		OWLToPDDL.sh
README.md		README.md
build.gradle.kts		build.gradle.kts
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts