SBVR16 — Rules Based on Implications

On physical page p. 45 of Version 1.4 of SBVR, the Necessity listed under the entry for Implied Characteristic includes ”logical implication” as a defined (styled) term. However, there is no definition entry for “logical implication” in SBVR 1.4.

Logical implications underlie a very important form of (business) rules. A standard covering rules from the business perspective is incomplete without appropriate treatment. Such treatment must fully explain what “logical implication” means ­ and does not mean ­ selectively for both behavioral and definitional rules. SBVR needs to address the fundamental semantics of rules based on implications.