Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies.

Patrick Koopmann, Renate A. Schmidt

Browse the full CADE paper archive.