User Tools
pub:software:start
Differences
This shows you the differences between two versions of the page.
| 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
