KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Nikitina, Nadeschda 1; Rudolph, Sebastian 1
1 Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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-Verlag
Seiten 246-249
Serie Lecture Notes in Computer Science ; 7497
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page