Description Logics and Planning

This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Description logics can reason about the logical definition of a class and automatically infer class-subclass subsumption relations as well as classify instances into classes based on their definitions. Descriptions of actions, plans and goals can be exploited during plan generation, plan recognition, or plan evaluation. These techniques should be of interest to planning practitioners working on knowledge-rich application domains. Another emerging use of these techniques is the semantic web, where current ontology languages based on description logics need to be extended to reason about goals and capabilities for web services and agents.

• Type: Journal
• Year: 2005
• Where: AIM
• Authors: Yolanda Gil
• Keywords: AIM 2005, AIM 2006, Class-subclass Subsumption Relations, Description Logics, Expressive Representations