Time and description logic