## Fuzzy Description Logic (WS21/22)

TU Dresden | Wintersemester 2021 / 2022 Fuzzy Description Logic (WS21/22)

Lecture: Dr. Stefan Borgwardt
Tutorials: Dr. Patrick Koopmann

### Course description

The course covers fuzzy Description Logics as formalisms for representing and reasoning with vague or imprecise knowledge. We will study several variants of fuzzy $$\mathcal{ALC}$$ that differ from each other by their expressivity and their fuzzy semantics. For the logics where this is possible, we will cover practical methods for reasoning over them. However, we will also show that these logics easily become undecidable.

Pre-existing knowledge of description logics is not required for attending this course. All relevant information will be introduced at the beginning of the lecture.

### Organization

The lecture will take place in BigBlueButton every week on Thursdays, 11:10-12:40, starting on Oct 14. Links to lecture videos recorded last year will be made available after each lecture. Accompanying lecture slides will also be published.

The tutorials will take place in BigBlueButton every week on Wednesdays, 16:40–18:10, starting on Oct 20. Exercise sheets will be made available one week before each tutorial.