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
