Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes

Open in new window