Skip to main content

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