4.0.0 fuzzydll fuzzydl 1.0 jar fuzzy DL reasoner http://gaia.isti.cnr.it/~straccia/software/fuzzyDL/fuzzyDL.html fuzzydll colt 1.0 runtime fuzzydll javacbc 1.0 runtime