New idea: Specify and ensure invariants
Having a more restrictive way to define rules compared to openHAB, there is a possibility to reason about those rules and check a given set of invariants. Or even infer some invariant from a given set of rules. With this, real analyses can be performed, and there is a delta to openHAB.
Those invariants would then be directly stored in the knowledge base.