Finite model reasoning in DL-Lite