Automated Reasoning in Temporal DL-Lite