Download Action, Time and Space in Description Logics