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

Dades bibliogràfiques
Autors principals: Nikitina, N, Rudolph, S
Format: Journal article
Publicat: 2014