Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Inproceedings3292

Aus Aifbportal

Wechseln zu: Navigation, Suche


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




Published: 2012 September
Herausgeber: Markus Krötzsch and Umberto Straccia
Buchtitel: Web Reasoning and Rule Systems - 6th International Conference, RR 2012,
Verlag: Springer

Referierte Veröffentlichung

BibTeX

Download: Media:Paper.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet