(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL

Bibliographic Details
Main Authors: Nikitina, N, Rudolph, S
Format: Journal article
Published: 2014