Rule Markup Language

RuleML ist eine Anwendung von XML und wird von der Rule Markup Initiative entwickelt. RuleML soll als standardisiertes Dokumentenformat für Regeln dienen.

Regeln werden in Reaktionsregeln (Reaction Rules) und Transformationsregeln (Transformation Rules) kategorisiert. Spezielle Transformationsregeln sind die Ableitungsregeln (Derivation Rules). Zu den Ableitungsregeln gehören Fakten (Facts) und Abfragen (Queries). Ein Spezialfall der Abfragen sind Integritätsbedingungen (Integrity Constraints).

• Reaktionsregeln werden in Vorwärtsrichtung (siehe Forward Chaining) angewendet. Reaktionsregeln warten auf Events, überprüfen Bedingungen und führen dann eine Aktion aus.
• Transformationsregeln werden normalerweise in Rückwärtsrichtung (siehe Backward Chaining) ausgeführt.
• Ableitungsregeln können sowohl in Vorwärts- als auch in Rückwärtsrichtung verwendet werden. Ableitungsregeln haben Bedingungen (Prämissen) aus denen Schlussfolgerungen gezogen werden.
• Fakten sind vorgegeben, und werden von den anderen Regeln benutzt.
• Abfragen können in Rückwärtsrichtung beantwortet werden. Alternativ kann sich die Antwort auf eine Abfrage bei der Regelanwendung in Vorwärtsrichtung ergeben.
• Integritätsbedingungen werden normalerweise durch (Update-)Events ausgelöst.


Quelle

http://www.ruleml.org