Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.

Boris Konev, Dirk Walther, Frank Wolter

Browse the full IJCAI paper archive.