Marie Fortin, Boris Konev, Frank Wolter. Interpolants and Explicit Definitions in Extensions of the Description Logic EL. In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer 0002, editors, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022. 2022. [doi]
Abstract is missing.