Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes