Note: This download page is no longer updated and kept only for users who depend on dlvhex version 1.X. The new source downlaod page includes only dlvhex 2.X.
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.
The current release dlvhex 2.X (2016-04-12) is 2.5.0:
source tarball
(binary of this release is called dlvhex2
).
The deprecated release of dlvhex 1.X (2012-10-19) is 1.7.4:
source tarball
(binary of this release is called dlvhex
).
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 | dlvhex 1.X | dlvhex 2.X | Description |
---|---|---|---|
Aggregate Plugin | 1.7.1 | 2.0.0 | Simple plugin with aggregate functions. |
DL-Plugin | 1.7.1 | - | Description Logic Plugin, see the DL-Plugin documentation. |
MCSIE-Plugin | 1.7.1 | 2.0.0 | MCS-IE Plugin, see the MCS-IE homepage. |
Script Plugin | 1.7.1 | 2.0.0 | Simple plugin that can execute scripts and does some I/O. |
String Plugin | 1.7.0 | 2.0.0 | Operates on strings, see the string-plugin documentation |
Wordnet Plugin | 1.7.0 | 2.0.0 | Interface to the Wordnet library. |
XPath Plugin | 1.7.0 | - | Realizes XPath queries for XML documents. |
The release versions of the semweb plugins can be found below.
Plugin | dlvhex 1.X | dlvhex 2.X | 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.
dlvhex works under UNIX-based operating systems like Linux and Mac OS X and Microsoft Windows.
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 --recursiveand do not forget to run
./bootstrap.shafter 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.
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/.
Download dlvhex releases
Download dlvhex-semweb releases
Browse source code on github.com
General
dlvhex source code @ github.com
Description-Of-A-Project
Popular Plugins
Action Plugin
DecisionDiagrams Plugin
Description Logics Plugin
Description Logics Lite Plugin
MELD: Belief Merging Plugin
Nested HEX Plugin
MCSIE Plugin
String Plugin
dlvhex-semweb Project
Documentation
User Guide
README
doxygen
Writing Plugins in C++
Writing Plugins in Python