A Temporal Description Logic for Reasoning about Actions and Plans