Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  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