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
pub:software:start [2019/10/02 09:47]
sbk
pub:software:start [2019/10/02 09:48] (current)
sbk [Reasoning engines]
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+    * **[[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.txt ยท Last modified: 2019/10/02 09:48 by sbk