Plan-Based Terminological Reasoning