The main plan for this ¡­

The main plan for this semester's logikkseminar is to learn DL-Lite and any related stuff we find interesting. The "curriculum" will be the article Ontologies and Databases: The DL-Lite Approach

It is a rather comprehensive 100 page overview of many of the results obtained by the Rome+Bolzano group of people on DL-Lite and variants that Diego Calvanese prepared as material for a PhD course he was teaching last year. It contains material taken from various papers, but puts it into a coherent framework with uniform notation and coherent examples. There is also lots of pointers to further work.

The plan for next session, 09.09.10, is to make a more detailed plan for the whole semester. For those of you who are new to DL-Lite, please have a look at the article.