This page summarizes information on the software tool developed by GEIST.

• HQEd is an advanced visual editor for modularized rule bases developed with the XTT2 knowledge representation for rules. Originally developed within the HeKatE project. Extended during the BIMLOQ to include support for rules integrated with business processes. Enhanced wrt GUI within the Parnas project.
• VARDA is a tool for fast conceptual prototyping of rule bases ARD+ method
• HJEd is a visual prototyping of rule bases with the ARD+ method

• HeaRT is a hybrid rule inference engine for modularized rule bases developed with the XTT2 knowledge representation for rules. It also supports practical rule verification. Originally developed within the HeKatE project. Later on extended towards reasoning with business processes as well as in integrated in a semantic wiki.
• PelletHeart a prototype inference engine linking the HeaRT rule engine with Pellet, the Description Logics reasoner.

• HaThoR is rule base translator tool from the XTT2 format to RIF, OWL (partially) and UML

• Loki is a novel semantic wiki platform offering strong reasoning capabilities of Prolog. It is a successor of the PlWiki engine. It was extended during the BIMLOQ project to support BPMN business processes via the BPwiki plugin.

GEIST organizes two programs for students wanting to work together with us on software projects:

• Spring of Code organized every early spring and
• Winter of Code organized every late fall.