The PROHOW vocabulary and data model has been converted into the Planning Domain Definition Language (PDDL).
More information on this project can be found at this homepage or from this publication or
The prohow.pddl file contains a formalisation of this model as a planning domain definition and the file prohow.problem contains a toy example that can be used in conjunction with the planning domain.
These PDDL files have been used in conjunction with the Fast-Downward planner running the 'LAMA 2011 configuration' as folloiws:
./fast-downward.py --alias seq-sat-lama-2011 prohow.pddl prohow-problem.pddl