Differences

This shows you the differences between two versions of the page.

--- pub:software:start [2013/01/03 21:57] – wta
+++ pub:software:start [2013/01/10 12:57] – external edit 127.0.0.1
@@ Line 2: / Line 2: @@
 ====== Software ======
-In this namespace you can browse GEIST software.
+This page summarizes information on the software tool developed by GEIST.
-===== GEIST Spring of Code =====
+===== Knowledge base editors =====
-GEIST Spring of Code is a program dedicated to students who wants to [[pub:spring_of_code:start|know more...]]
+  * **[[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
+===== Reasoning engines =====
+  * **[[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.
-===== Tagcloud =====
+===== Knowledge base translators =====
+  * **[[HaThoR]]** is rule base translator tool from the XTT2 format to RIF, OWL (partially) and UML
-((TAGCLOUD > [pub:software]))
+===== Semantic wikis for collaborative knowledge engineering =====
+  * **[[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 Seasons of Code =====
-===== Software Projects Pages =====
+GEIST organizes two programs for students wanting to work together with us on software projects:
-<nspages -h1  -exclude:start -textPages=""	 >
+  * [[pub:spring_of_code:start|Spring of Code]] organized every early spring and
+  * [[pub:winter_of_code:start|Winter of Code]] organized every late fall.
-===== Find software by category =====
-=== HeKatE software ===
-{{topic>hekate +software}}
-=== Editors ===
-{{topic>editor +software}}
-=== Translators ===
-{{topic>translator +software}}
-=== Other projects software ===
-{{topic> software -hekate}}