Fuzzy Description Logic (WS22/23)

TU Dresden | Wintersemester 2022 / 2023

Fuzzy Description Logic (WS22/23)

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.

Students need to register for the OPAL course to get access to the course materials.


The lecture will usually take place in room APB/E005 on Wednesdays, 9:20-10:50, starting on Oct 12th. Links to lecture videos recorded in the winter semester 2020/21 will be made available after each lecture. Accompanying lecture slides will also be published.

The tutorials will usually take place in room APB/E005 on Fridays, 13:00–14:30, starting on Oct 21st. Exercise sheets will be made available one week before each tutorial.

The exact schedule of lectures and tutorials can be seen in the course calendar here in OPAL (subject to change).

  • In the first week, there will be two lectures (Oct 12th and 14th).
  • There will be no lecture in the second week (Oct 19th).
  • On Nov 16th, there will be no lecture due to Buß- and Bettag; instead, the tutorial on Nov 18th is replaced by a lecture.
  • In the two weeks between Dec 19th and Jan 1st there will be no lectures due to the Christmas and New Year holidays.
You can always ask questions during/before/after the lectures and tutorials, in the OPAL-forum (also anonymously), and via e-mail.

Modules and Exams

The course encompasses 2/2/0 SWS.

The lecture can be used for the modules INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6, INF-PM-FOR, INF-B-510, INF-B-520, MCL-KR, MCL-TCSL, MCL-AI, CMS‑LM‑AI, CMS‑LM‑ADV.

To fix a date for your oral examination, please contact Kerstin Achtruth (or the secretary of the other examiner in case of a joint exam) before January 6, 2023.

Access to this course has been restricted. Please login. Login
Information about access
You do not have enough rights to start this resource.