Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

Konev et al. "Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies." International Joint Conference on Artificial Intelligence, 2009.

[Konev et al. "Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/konev2009ijcai-forgetting/)

@inproceedings{konev2009ijcai-forgetting,
  title     = {{Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies}},
  author    = {Konev, Boris and Walther, Dirk and Wolter, Frank},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {830-835},
  url       = {https://mlanthology.org/ijcai/2009/konev2009ijcai-forgetting/}
}