Fuzzy Description Logic

From International Center for Computational Logic

Fuzzy Description Logic

Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2020



  • Anton Claußnitzer


  • 2/2/0


Examination method

  • Oral exam

The course covers fuzzy Description Logics as formalisms for representing and reasoning with vague or imprecise knowledge. We will study several variants of fuzzy 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.

All course material can be found on the OPAL page.