<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">Dear colleagues,</SPAN></FONT><DIV><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">this is just to inform you that from my Web page (<A href="http://gaia.isti.cnr.it/~straccia/">http://gaia.isti.cnr.it/~straccia/</A>) you may access to the fuzzy description logic reasoner fuzzyDL.</SPAN></FONT></DIV><DIV><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;"><BR class="khtml-block-placeholder"></SPAN></FONT></DIV><P style="margin: 0.0px 0.0px 12.0px 0.0px"><FONT class="Apple-style-span" color="#790000"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">fuzzyDL</SPAN></FONT></FONT><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;"> is a Description Logic Reasoner supporting Fuzzy Logic reasoning. The </SPAN></FONT><FONT class="Apple-style-span" color="#790000"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">fuzzyDL</SPAN></FONT></FONT><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;"> system includes a reasoner for fuzzy SHIF with concrete fuzzy concepts (explicit definition of fuzzy sets).</SPAN></FONT></P><P style="margin: 0.0px 0.0px 12.0px 0.0px"><FONT class="Apple-style-span" color="#790000"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">fuzzyDL</SPAN></FONT></FONT><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">'s features are:</SPAN></FONT></P><UL><LI style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">it extends the classical Description Logic SHIF to the fuzzy case</SPAN></FONT></LI><LI style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">it allows the explicti definition of fuzzy concepts with left-shoulder, right-shoulder, triangular and trapezoidal membership functions</SPAN></FONT></LI><LI style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">it supports concept modifiers in terms of linear hedges</SPAN></FONT></LI><LI style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">it supports General Inclusion Axioms</SPAN></FONT></LI><LI style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">it supports "Zadeh semantics" and Lukasiewicz Logic</SPAN></FONT></LI><LI style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT class="Apple-style-span" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">it is backward compatible, i.e. it supports classical description logic reasoning</SPAN></FONT></LI></UL><P style="margin-top: 0px; margin-right: 0px; margin-bottom: 18px; margin-left: 0px; font: normal normal normal 18px/normal Arial; min-height: 21px; "><FONT class="Apple-style-span" color="#000381"><BR class="khtml-block-placeholder"></FONT></P><P style="margin-top: 0px; margin-right: 0px; margin-bottom: 18px; margin-left: 0px; font: normal normal normal 18px/normal Arial; min-height: 21px; "><FONT class="Apple-style-span" color="#000381" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;"><SPAN class="Apple-tab-span" style="white-space:pre">  </SPAN>-Umberto Straccia.</SPAN></FONT></P><P style="margin-top: 0px; margin-right: 0px; margin-bottom: 18px; margin-left: 0px; font: normal normal normal 18px/normal Arial; min-height: 21px; "><FONT class="Apple-style-span" color="#000381" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;"><BR class="khtml-block-placeholder"></SPAN></FONT></P><P style="margin-top: 0px; margin-right: 0px; margin-bottom: 18px; margin-left: 0px; font: normal normal normal 18px/normal Arial; min-height: 21px; "><FONT class="Apple-style-span" color="#000381" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;"><BR class="khtml-block-placeholder"></SPAN></FONT></P><P style="margin-top: 0px; margin-right: 0px; margin-bottom: 18px; margin-left: 0px; font: normal normal normal 18px/normal Arial; min-height: 21px; "><FONT class="Apple-style-span" color="#000381" face="Courier New" size="3"><SPAN class="Apple-style-span" style="font-size: 12px;">PS: don't be too harsh with it. fuzzyDL is still in Version \epsilon >0  ... :-)</SPAN></FONT></P><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"></DIV></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><BR class="khtml-block-placeholder"></DIV></BODY></HTML>