SBVR14 — SBVR Vocabularies Relationship to SBVR Subclause 10.1.1

Spin-off from Issue 14843 (via Issue 15623 Issue Resolution into which it was Merged)
The definition-based model specified in Clauses 8, 9, 10, 12 and 13 and the fact model defined in Clause 10 are different (although closely related) models. The differences between them should be described and a transformation from one to the other defined.
The underlying issue is:
1. SBVR’s metamodel is defined in Clauses 8, 9, 10, 12 and 13. Its instances (domain models) are linguistic models of meanings.
2. The model defined in Clause 10 is included in the normative SBVR model to support a formal logic interpretation of SBVR’s metamodel. Its instances (domain models) are fact models.
The proposed resolution is:
1. State, in introductory text in Clauses 8 and 10, that the models are different
2. Somewhere in Clause 10:
a. List the major differences between the two models
b. Describe informally what transformation would be needed to derive a domain fact model from a corresponding linguistic model. It is probably beyond the scope of this RTF to develop a formal specification

Resolution:
1. Add a subclause to Subclause 10.1.1 to discuss to an appropriate level of detail all aspects of the relationship between the concepts in the SBVR Vocabularies in Clauses 7, 8, 9, 11 & 12 and the formal interpretation in Subclause 10.1.1, as well as removing ambiguity from Clause 10.1.1 by consistent use of terms intension, extension, fact population, and the set of all possible facts..

Deferred to SBVR v1.5 Revision Task Force because the SBVR v1.4 RTF was requested to close before it was finished so the SBVR RTF could be convert to JIRA.