SBVR — Sjir Nijssen Revisions to Clause 10

Sjir Nijssen Revisions to Clause 10 – "With respect to Clause 10 I would like to make the following suggestions which are primarily communication motivated:" 10.1.1.2 1. Facts refer to individuals ... please change to: Instantiated roles of facts refer to individuals 2. The schema declares ... please change to: The conceptual schema declares 3. Derivation rules indicate how a fact type may be derived from one or more fact types ... please change to: Derivation rules indicate how the population of a fact type may be derived from the populations of one or more fact types 4. machine-oriented technical language (such as C#, Java, or SQL) ... please change to: machine-oriented technical language (such as C# or Java) [It could be argued that SQL is another way of expressing first order logic and SBVR does not regard this as a machine-oriented language.] 5. An existential fact is used to simply assert the existence of an individual ... please change to: An existential fact is used to simply assert the existence and identification of an individual 6. The domain-specific component includes declarations of ... please change to: The domain-specific component includes the concept definitions and declarations of 7. The classification of facts as forwarded last saturday could help in Clause 10 or be put in Annex M.

The suggestions were reviewed, and agreed, by Terry Halpin, with the exception of number 5, to which Terry responded:
It's much better for formalization purposes to leave the definition of existential fact the way I originally worded it. Identification claims are made separately (in ORM by asserting uniqueness and mandatory constraints, which may be in simple or composite reference schemes).