Return to Article Details A Temporal Description Logic for Reasoning about Actions and Plans Download Download PDF