dlvhex

Download Source

If you are interested in the dlvhex sourcecode, you may choose between the latest (stable) release version and the (most recent but possibly unstable) development version.

Note that this page is only about dlvhex 2.X because dlvhex 1.X is no longer supported and should not be used anymore. However, if you depend on 1.X (e.g. because a plugin is not available for 2.X), you may visit the old download page (distribution as sourcecode only).

Latest Release Version

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. Changes between versions can be found in the NEWS files and in detail in the ChangeLog files.

dlvhex core	All platforms	Description
dlvhex core Sourcecode 2.5.0	Download	The core system (required for all plugins below).

The release versions of some core plugins are listed below.

Regarding versions note that dlvhex 2.X uses contains a new ABI versioning framework to improve plugin compatibility handling. For details see LibraryVersions.

Plugin	All platforms	Description
Aggregate Plugin Sourcecode	Download	Simple plugin with aggregate functions.
MCSIE-Plugin Sourcecode	Download	MCS-IE Plugin, see the MCS-IE homepage.
Script Plugin Sourcecode	Download	Simple plugin that can execute scripts and does some I/O.
String Plugin Sourcecode	Download	Operates on strings, see the string-plugin documentation
Wordnet Plugin Sourcecode	Download	Interface to the Wordnet library.

dlvhex works under UNIX-based operating systems like Linux and Mac OS X and Microsoft Windows.

Development Version

The current development version of dlvhex plus plugin-suite is hosted at github in the hexhex Collection.

The dlvhex core code can be retrieved by executing

git clone --recursive git://github.com/hexhex/core.git

(readonly) or for read-write access (if you are allowed to commit) with

git clone --recursive git@github.com:hexhex/core.git

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 same command (do not forget --recursive) on the other repositories which are parte of the hexhex organization.

Important:

Whenever you use a git version of dlvhex, do not forget to clone with

git clone --recursive

and do not forget to run

./bootstrap.sh

after cloning. (After ./bootstrap.sh you can continue with ./configure as shown below.)

Per default, dlvhex will build with gringo and clasp which is contained in the dlvhex tarball.

If dlv is found in the path, then dlv can be used as backend.

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.

Compiling Source Packages Primer

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/.

Useful Links

Download dlvhex releases
Download dlvhex-semweb releases
Browse source code on github.com

Search this Website

General
dlvhex source code @ github.com
Description-Of-A-Project

Documentation
User Guide
README
doxygen
Writing Plugins in C++
Writing Plugins in Python