Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.

Carsten Lutz, Frank Wolter

Browse the full IJCAI paper archive.