Unification in Description Logics

Advanced Course at the 31st European Summer School in Logic, Language and Information (ESSLLI 2019)

Lecturer: Dr. Oliver Fernández Gil (Chair of Automata Theory, TU Dresden)


The general content of this course is based on the following survey (additional reading materials are provided for each specific topic):

Baader, F., Ghilardi, S. Unification in Modal and Description Logics. Logic Journal of the IGPL 19(6), 705-730 (2011).

Course programme (... to be updated)

Part I: Introduction (slides)

Part II: Unification in the Description Logic EL (slides)

Part III: Unification in the Description Logic FL_0 (slides)

Part IV: Related research in Modal Logics