[DL] FuzzyDL reasoner

[Umberto Straccia]

Dear colleagues,
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  
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

	-Umberto Straccia.

PS: don't be too harsh with it. fuzzyDL is still in Version \epsilon  
 >0  ... :-)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20060623/bd646727/attachment.htm>