1. You need to download the latest dlv which
supports well-founded semantics.
Download the dlv file, rename it to dlv_wf, and add the dictory of
dlv_wf to $PATH.
Since this version of dlv is only available on Linux platform, you can only use DReW on Linux now.
2. Currently, we do not have a written document explaining how to use DRew. However, in the distribution you can find examples in the drew-examples, drew-ldlp-dl-reasoner-evaluation, and drew-ldlp-dl-reasoner-evaluation modules
$Id: documentation.html 239 2010-08-30 12:14:14Z xiao $