Koopmann, P.; Schmidt, R. Uniform Interpolation and Forgetting for ALC Ontologies With ABoxes. AAAI 2015, 29.