GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:software:start

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
pub:software:start [2018/07/13 10:57]
gjn bandreader
pub:software:start [2019/10/02 09:48] (current)
sbk [Reasoning engines]
Line 10: Line 10:
  
 ===== Knowledge base editors ===== ===== Knowledge base editors =====
 +  * **[[https://​heartdroid.re/​doku.php?​id=pub:​software:​hwed:​start|HWEd]]** is online web editor for creating XTT2 models, that are run by **[[https://​heartdroid.re/​|HeaRTDroid]]** ​ inference engine.
   * **[[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.   * **[[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   * **[[VARDA]]** is a tool for fast conceptual prototyping of rule bases ARD+ method
Line 16: Line 16:
  
 ===== Reasoning engines ===== ===== Reasoning engines =====
 +    * **[[https://​heartdroid.re/​|HeaRTDroid]]** is a rule-based inference engine both for Android mobile devices, and desktop solutions supported by visual web editor **[[https://​heartdroid.re/​doku.php?​id=pub:​software:​hwed:​start|HWEd]]**. It is distributed under the GNU General Public License
   * **[[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.   * **[[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.   * **[[PelletHeart]]** a prototype inference engine linking the HeaRT rule engine with Pellet, the Description Logics reasoner.
pub/software/start.1531472276.txt.gz ยท Last modified: 2018/07/13 10:57 by gjn