KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Nikitina, Nadeschda; Rudolph, Sebastian



Originalveröffentlichung
DOI: 10.1007/978-3-642-33203-6_25
Seitenaufrufe: 2
seit 27.04.2018
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
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page