Belief Contraction and Revision over DL-Lite TBoxes