On the (Non−)Succinctness of Uniform Interpolation in General EL Terminologies
Nadeschda Nikitina and Sebastian Rudolph
Book Title
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)
Pages
246−249
Year
2012
Nadeschda Nikitina and Sebastian Rudolph