Forgetting and uniform interpolation in extensions of the description logic EL (2009)

by B Konev, D Walther, F Wolter
Venue:In International Workshop on Description Logics (DL