Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes