[DL] FuzzyDL reasoner
Umberto.Straccia at isti.cnr.it
Fri Jun 23 15:35:27 CEST 2006
this is just to inform you that from my Web page (http://
gaia.isti.cnr.it/~straccia/) you may access to the fuzzy description
logic reasoner fuzzyDL.
fuzzyDL is a Description Logic Reasoner supporting Fuzzy Logic
reasoning. The fuzzyDL system includes a reasoner for fuzzy SHIF with
concrete fuzzy concepts (explicit definition of fuzzy sets).
fuzzyDL's 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
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
PS: don't be too harsh with it. fuzzyDL is still in Version \epsilon
>0 ... :-)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl