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

Open in new window