SBVR_ — Under-the-Covers SBVR Support for ‘Dark’ Rules

Under-the-Covers SBVR Support for ‘Dark’ Rules The scope of Issue 10504, which focuses on ‘Dark World’ Assumptions and Authorizations, extends only to section 12, which is the business-facing side of SBVR. A draft resolution is now reasonably well-defined for Issue 10504 (but not finalized), which outlines how ‘dark’ rules and authorizations can be expressed in SBVR-compliant fashion. Mark Linehan has pointed out that the specific mechanisms for SBVR support of ‘dark’ rules and authorizations have not been worked out in SBVR. There seems to be general agreement on that point. Andy Carver has pointed out that Terry addressed the issue in one of the examples in section 10 to some degree. He has suggested that such support could be provided via a new fact type and derivation rule. Discussion of specifics has ensued. I have noted that it appears the derivation rule (and possibly the fact type) could be derived automatically. The current situation is therfore as follows. Evolving resolution of Issue 10504 has now demonstrated the need for some under-the-covers support by SBVR for ‘dark’ rules. However, that support is outside the scope of section 12, which therefore makes it out of scope for Issue 10504. It therefore requires its own issue

The under-the-covers solutions lies in the idea of 'entailment', also known as 'logical implication'. The revised text below adds three fact types that relate elements of guidance to states of affairs based on entailment.