Documentation

For the User

The getting started section provides a quick intro to the usage of dlvhex. A more detailed introduction and some examples and code snippets can be found in the User Guide.

For a guide through the language of disjunctive datalog, we list the subset of DLV syntax that is understood by dlvhex in a small outline of the HEX language. For detailed information please consult the literature.

We also guide you through the usage of some currently available 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

For the Developer

We provide the documentation of the dlvhex doxygen source documentation, which include a short manual for developing a plugin. Read it carefully, especially the section about "Building the Plugin," and don't forget to install the tools mentioned there.

 

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