You can download stable release versions of dlvhex and its plugins at the dlvhex SourceForge File Releases. Installation instructions are given in the INSTALL and README files of the dlvhex and plugin source directories.
The accompanying release versions of the core plugins are listed below.
| dlvhex plugin | Release | Description |
|---|---|---|
| Aggregate Plugin | 1.7.0 | Simple plugin with aggregate functions. |
| DL-Plugin | 1.7.1 | Description Logic Plugin, see the DL-Plugin documentation. |
| MCSIE-Plugin | 1.7.1 | MCS-IE Plugin, see the MCS-IE homepage. |
| Script Plugin | 1.7.1 | Simple plugin that can execute scripts and does some I/O. |
| String Plugin | 1.7.0 | Operates on strings, see the string-plugin documentation |
| Wordnet Plugin | 1.7.0 | Interface to the Wordnet library. |
The release versions of the semweb plugins can be found below.
| dlvhex plugin | Release | Description |
|---|---|---|
| RDF Plugin | 1.7.0 | Interface to the Raptor library. |
| SPARQL Plugin | 1.7.0 | A SPARQL processor, see the dlvhex-SPARQL homepage. |
Other plugins are currently under development and will be released ASAP.
Please note that dlvhex is currently only working for UNIX-based operating systems like Linux and Mac OS X.
We provide pre-compiled packages of dlvhex at Debian/Ubuntu packages for ASP systems.
The current development version of dlvhex plus plugin-suite is hosted at Sourceforge (you can browse the source code). Please confer the instructions on how to checkout the current trunk.
The dlvhex development code can be retrieved by executing
svn co https://dlvhex.svn.sf.net/svnroot/dlvhex/dlvhex/trunk dlvhex
Confer MAINTAINER-README and README for the list of packages you need to compile the development version of dlvhex.
You can checkout the plugins using the next command (replace DLVHEX-PLUGIN by the plugin name, browse the repository for a list of available plugins):
svn co https://dlvhex.svn.sf.net/svnroot/dlvhex/DLVHEX-PLUGIN/trunk DLVHEX-PLUGIN
dlvhex needs to be able to find dlv in your path.
To work with the DL-plugin, you will also need the DL-reasoner RacerPro.
To work with the WordNet-plugin, you will also need Wordnet installed.
Requirements for compiling dlvhex: the inevitable Boost C++ libraries (available as packages for all major distributions).
dlvhex is installed with the usual sequence:
./configure make make install
If you don't want a system-wide installation or don't have root-permissions, use
./configure --prefix=/path/to/dir
where /path/to/dir is the desired target prefix. There, the usual bin/ and lib/ will be created, if necessary.
For installing a plugin, again do:
./configure make make install
The plugin library will be installed in ${prefix}/lib/dlvhex/plugins, where ${prefix} was determined by the dlvhex installation. If you use
./configure --enable-userinstall
instead, the plugin will be put in ~/.dlvhex/plugins/.
$Id: download.html 2916 2011-05-16 18:33:56Z tkren $
Download dlvhex releases
Download dlvhex-semweb releases
Browse Subversion
Subversion instructions
dlvhex software dependencies
dl-plugin software dependencies
wordnet-plugin software dependencies