Artifacts such as laws, regulations and policies, use deontic constructs expressed in naturallanguage to articulate human behavior, as well as alethic rules, describing what the organizationtakes things to be and how do the members of the community agree on the understanding of thedomain. In most cases such artifacts have a rather ambiguous semantics, which can hardly beformalized. But sometimes, in order to satisfy the organizations’ need of automatic reasoners,a logical framework can be built to provide such tools for validation and verification of theartifacts. The most promising candidate for such a framework is a recently approved standardfor specifying Semantics of Business Vocabulary and Business Rules (SBVR). Despite existenceof formally grounded notations, e.g. ORM2 specification language, up to now SBVR still lacksa sound and consistent logical formalization which would allow developing automated solutionsable to automatically test business models for consistency of business rules.
