LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Crossref DOI link: https://doi.org/10.1007/s13218-020-00655-w
Published Online: 2020-04-13
Published Print: 2020-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Koopmann, Patrick http://orcid.org/0000-0001-5999-2583
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (389793660)
Text and Data Mining valid from 2020-04-13
Version of Record valid from 2020-04-13
Article History
Received: 30 December 2019
Accepted: 25 March 2020
First Online: 13 April 2020