Core Team

List of Contributors

  • Jürgen Bock (Wordnet plugin)
  • Markus Bögl (Multi-Context System plugin)
  • Carmelo D'Aparo (XPath plugin)
  • Alessandro De Rosis (Constraint ASP plugin)
  • Gennaro Frazzingaro (Filters and web service for SPARQL plugin)
  • Davide Gatto (Constraint ASP plugin)
  • Stefano Germano (Acthex plugin)
  • Annemarie Goldmann (Mathematica plugin)
  • Anton Korosec (Script plugin)
  • Sabine Laszakovits (Porting String, Script, Aggregate, and Wordnet plugin to version 2.X)
  • Alexander Leutgöb (pre-compiled binaries for multiple platforms)
  • Nuno Lopes (RDF and SPARQL plugin)
  • Marco Marano (XPath plugin)
  • Alessandra Martello (GiaBATA system, SPARQL plugin, dlvdb integration, dlvhex patches)
  • Mustafa Mehuljic (manual)
  • Emmanouil Paissios (RDF plugin)
  • Axel Polleres (SPARQL plugin)
  • Daniel Scheikl (XPath plugin)
  • Patrik Schneider (RDF plugin)
  • Javier Sierra (SPARQL plugin optimization)
  • Matthias Steindl (MLP integration)
  • Oleksandr Stashuk (Constraint ASP plugin)
  • Daria Stepanova (DL-Lite plugin, support sets)
  • Renato Umeton (RDF plugin)
  • Jürgen Weinberger (XPath plugin)

 

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