Oliver Fernandez Gil (TU Dresden, Germany)
Unification in Description Logics has been proposed as a novel inference service that can be used to detect redundancies in ontologies. In this course, we will give a survey of the results on unification in description logics and present the relevant open problems in the field. We will study the computational complexity of the corresponding decision problem in different description logics and conduct a thorough presentation of the techniques that have been develop to solve them.