Reaction RuleML 1.0.1 - Knowledge Representation (KR) dialect of Reaction RuleML 1.0.1 for logical calculi such as event calculus, situation calculus, fluent calculus, temporal action languages, etc.