Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice