SBVR — Use of 'modality' in 8.1.2

Doc: dtc/06-03-02
Date: March 2006
Version: Interim Convenience Document
Chapter: 8.1.2
Pages: 19
Nature: Correction
Severity: minor

Description:

8.1.2 defines 'modality' (a pure mathematical logic concept) so that it can be the ConceptType for 'necessity', 'possibility', 'obligation' and 'permissibility'.

But in fact, 'necessity' is said to be a kind of 'fact', and the others are said to be 'propositions'. That is, the corresponding GeneralConcepts are not 'modality'. And they are not individual concepts, so they shouldn't have a ConceptType.

Recommendation:

a. Move the glossary entry for 'modality' to 9.1.1, or delete it if it is used nowhere else.

b. For 'necessity', replace "ConceptType: modality", with
"GeneralConcept: fact"

c. For 'possibility', 'obligation' and 'permissibility', replace
"ConceptType: modality",
with
"GeneralConcept: proposition"

Was a problem in interpreting SBVR Structured English. Not a problem with the specification. Close, no change