Goal representation and reasoning based on Description Logics(DLs)

Over the past decades, goal models have been used in Computer Science in order to represent business objective, design qualities and desirable states. The main merit of goal-driven systems is that they bridge the human and the machine level problem solving. This paper presents first steps towards the definition of goals based on Description Logics(DLs), which are able to represent structural knowledge in a formal and well-understood way. In particular, the paper proposes a goal planning algorithm to achieve an agent's goal, and the preliminary results demonstrate that our implementation provides a practical solution.