SBVR Support for Inference: Logical Effects of Claims of Necessity and Obligation on Implications
How would SBVR support the kind of inference needed for decisions or determinations (e.g., by rules as expressed in decision tables)? This discussion explains the logical underpinning of the appropriate approach. It is based on implications, which are treated differently under claims of necessity for facts vs. claims of obligation for facts. The requisite 'magic' happens under the former.