pub:software:start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
pub:software:start [2019/10/02 07:45] – [Reasoning engines] sbk | pub:software:start [2019/10/02 07:47] – sbk | ||
---|---|---|---|
Line 10: | Line 10: | ||
===== Knowledge base editors ===== | ===== Knowledge base editors ===== | ||
+ | * **[[https:// | ||
* **[[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:// | + | |
* **[[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: 2022/07/18 09:15 by kkt