The latest version can always be accessed via: http://tools.deri.org/wsml/dl-reasoner/
$Date: 2007/03/23 17:56:20 $