pub:software:start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
pub:software:start [2018/07/13 08:57] – bandreader gjn | pub:software:start [2019/10/02 07:44] – [Reasoning engines] sbk | ||
---|---|---|---|
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