Patrick Koopmann. LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. KI, 34(3):381-387, 2020. [doi]
@article{Koopmann20, title = {LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics}, author = {Patrick Koopmann}, year = {2020}, doi = {10.1007/s13218-020-00655-w}, url = {https://doi.org/10.1007/s13218-020-00655-w}, researchr = {https://researchr.org/publication/Koopmann20}, cites = {0}, citedby = {0}, journal = {KI}, volume = {34}, number = {3}, pages = {381-387}, }