P. Koopmann and R. Schmidt, “Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes”, AAAI, vol. 29, no. 1, Feb. 2015.