Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes

Open in new window