Inproceedings3292
Aus Aifbportal
On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies
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
Forschungsgruppe
Forschungsgebiet