Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

Open in new window