Networked Multimedia Information Systems Laboratory


Contact person:

fuzzyDL is a Description Logic Reasoner supporting Fuzzy Logic and fuzzy Rough Set reasoning. The fuzzyDL system includes a reasoner for fuzzy SHIF with concrete fuzzy concepts (ALC augmented with transitive roles, a role hierarchy, inverse, reflexive, symmetric roles, functional roles, and explicit definition of fuzzy sets). There is also a Protege plug-in that supports Fuzzy OWL2, to build fuzzy ontologies.
fuzzyDL's most interesting features are:

  • it extends the classical Description Logic SHIF to the fuzzy case
  • it allows the explicti definition of fuzzy concepts with left-shoulder, right-shoulder, triangular and trapezoidal membership functions
  • it supports concept modifiers in terms of linear hedges
  • it supports General Inclusion Axioms
  • it supports "Zadeh semantics" and Lukasiewicz Logic
  • it is backward compatible, i.e. it supports classical description logic reasoning
  • full support of Mixed Integer Linear Programming optimization
  • it supports fuzzy Rough Set reasoning within fuzzy DLs

Some applications:

  • Matchmaking
  • Knowledge-based Image Interpretation
  • Multi Criteria Decision Making
  • Clinical Decision Support
  • Logic-based Fuzzy Control Systems