SBVR_ — Section: 8.1.1 (02)

ISSUE TITLE: Some Way is Required to Identify Which Characteristics of a Concept are Referenced in its Definition Directly, or Indirectly Through the More General concept; and Which are Not Butare Instead Implied by the Definition ISSUE DESCRIPTION: The characteristics that are made explicit in an intension in an SBVR vocabulary and that are not in a given essential characteristic set must be able to be implied from that essential characterisitc set plus the other concepts in the semantic community's body of shared meanings related to the concept. Otherwise they cannot be in the intension of the concept. - This requires the ability to ask the question "Is each explicit characteristic that is incorporated into a concept and that is not part of each given essential characterisitc set implied by that essential characteristic set and related concepts in the body of shared meanings?" and to get a consistent answer from members of the semantic community. - to document the assessment that a characteristic can be implied, or simply assert that, the following is required: - 'implied characteristic' - 'essential characteristic set' sufficiently defining 'concept' implies 'characteristic'" (or some other form of this) NOTE: This provides the ability to assess that even though the explicit characteristics in the intensions of two concepts that have equivalent essential characterisitc set are different, the concepts are still equivalent because it can be shown that the explicit implied characteristics in one are also implied in the other. Again no one is saying this must be automated, but it must be possible for people to do consistently or SBVR is without foundation.

Add 'necessary characteristic', 'concept has necessary characteristic', and 'implied characteristic'.