A goal planning method based on dynamic description logics used in Ad Hoc Workflow | IEEE Conference Publication | IEEE Xplore