2
Semantic Interoperability Principles - high level
• Conclusions sanctioned do not depend on how executed, e.g., forward chaining has same semantics as backward chaining
• “Reaction” rules, that perform side-effectful actions, have a semantics which cleanly extends the basic case of rules that do not.