KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/978-3-642-33203-6_25

On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies

Nikitina, Nadeschda; Rudolph, Sebastian



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2012
Sprache Englisch
Identifikator ISBN: 978-3-642-33202-9
ISSN: 0302-9743
KITopen ID: 1000036051
Erschienen in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 - Proceedings. Ed.: M. Krötzsch
Verlag Springer, Berlin
Seiten 246-249
Serie Lecture Notes in Computer Science ; 7497
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page