Approximation and Difference in Description Logics