Contraction and Revision over DL-Lite TBoxes

Open in new window