Joint KR and CEP Reaction RuleML dialect - kr-cep.xsd - for defining the semantics and reasoning about the effects of complex events and actions in logical calculi such as event calculus.