Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.

Michel Ludwig, Boris Konev

Browse the full KR paper archive.