Seminar Theoretical Computer Science: "Extensions of Description Logics"

This seminar covers recent topics from theoretical computer science and is held by Prof Franz Baader and Dr Anni-Yasmin Turhan. In this semester we focus on approaches for extending  classical Description Logics.