introduce types in PDDL to represent different data types of the OWL domain. E.g. the constants extracted from the rules are more nicely organized and should also make planning (slightly) more efficient
maybe also introduce a type for OWL individuals / classes to describe the predicates better (e.g. distinguish between object and data properties)
introduce types in PDDL to represent different data types of the OWL domain. E.g. the constants extracted from the rules are more nicely organized and should also make planning (slightly) more efficient
maybe also introduce a type for OWL individuals / classes to describe the predicates better (e.g. distinguish between object and data properties)