SBVR 1.1 RTF Avatar
  1. OMG Issue

SBVR11 — Error in Example for "noun concept nominalization"

  • Key: SBVR11-112
  • Legacy Issue Number: 15837
  • Status: closed  
  • Source: General Electric ( Mark Linehan)
  • Summary:

    In clause 9.2.8, on page 71, the first example under "noun concept nominalization" is incomplete. The text says "In this example, ‘petrol’ is a mention of the concept ‘petrol’ which is used in the ‘type’ role of a fact type ‘quantity is of type’. " However, the formulation shown is missing the use of that fact type. Proposed resolution:
    Revise the example to read as follows. New/changed text indicated in red.
    Example: EU-Rent stores at least 300 kiloliters of petrol.”
    In this example, ‘petrol’ is a mention of the concept ‘petrol’ which is used in the ‘type’ role of a fact type ‘quantity is of type’.
    The statement is formulated by an at-least-n quantification.
    . The minimum cardinality of the quantification is 300.
    . The quantification introduces a first variable.
    . . The first variable ranges over the concept ‘kiloliter’.
    . The quantification scopes over an existential quantification.
    . . The existential quantification introduces a second variable.
    . . . The second variable ranges over the concept 'type'
    . . . The second variable is restricted by a noun concept nominalization.
    . . . . The noun concept nominalization binds to the second variable.
    . . . . The noun concept nominalization considers a projection.
    . . . . . The projection is on a third variable.
    . . . . . . The third variable ranges over the concept ‘petrol’.
    . . The existential quantification scopes over an atomic formulation.
    . . . The atomic formulation is based on the fact type ‘company stores thing’.
    . . . . The ‘company’ role is bound to the individual concept ‘EU-Rent’.
    . . . . The ‘thing’ role is bound to the first variable.
    . The at-least-n quantification is restricted by an atomic formulation.
    . . The atomic formulation is based on the fact type 'quantity is of type'
    . . . The 'quantity' role is bound to the first variable.
    . . . The 'type' role is bound to the second variable.

    (an alternate, and perhaps better, formulation would move the existential quantification of 'type' to the start)

  • Reported: SBVR 1.0 — Thu, 18 Nov 2010 05:00 GMT
  • Disposition: Resolved — SBVR 1.1
  • Disposition Summary:

    Revise the example to read as follows. New/changed text indicated in red.
    Example: EU-Rent stores at least 300 kiloliters of petrol.”
    In this example, ‘petrol’ is a mention of the concept ‘petrol’ which is used in the ‘type’ role of a fact type ‘quantity is of type’.
    The statement is formulated by an at-least-n quantification.
    . The minimum cardinality of the quantification is 300.
    . The quantification introduces a first variable.
    . . The first variable ranges over the concept ‘kiloliter’.
    . The quantification scopes over an existential quantification.
    . . The existential quantification introduces a second variable.
    . . . The second variable ranges over the concept 'type'
    . . . The second variable is restricted by a noun concept nominalization.
    . . . . The noun concept nominalization binds to the second variable.
    . . . . The noun concept nominalization considers a projection.
    . . . . . The projection is on a third variable.
    . . . . . . The third variable ranges over the concept ‘petrol’.
    . . The existential quantification scopes over an atomic formulation.
    . . . The atomic formulation is based on the fact type ‘company stores thing’.
    . . . . The ‘company’ role is bound to the individual concept ‘EU-Rent’.
    . . . . The ‘thing’ role is bound to the first variable.
    . The at-least-n quantification is restricted by an atomic formulation.
    . . The atomic formulation is based on the fact type 'quantity is of type'
    . . . The 'quantity' role is bound to the first variable.
    . . . The 'type' role is bound to the second variable.

    (an alternate, and perhaps better, formulation would move the existential quantification of 'type' to the start)

  • Updated: Fri, 6 Mar 2015 20:58 GMT