Issue 665: Harmonize the quantification of P43 & O12 has dimension (also P179 had sales price)

In the 58^th CIDOC CRM & 51^st FRBR/LRMoo SIG Meeting, the SIG reviewed the proposal by MD to adjust the quantifiers of P43 and O12 –see here for the diagram.

The model for dimensions has been extended to measure instances of E5 Event and S15 Observable Entity (not only instances of E18 Physical Things). Which worked fine until the modeling of relative dimensions, which pertain to the combination of two things, was implemented.

Proposal:

• P43 has dimension: change quantification to “one to many (0,n:0,1)”
• P191 had duration: change quantification to “one to one, necessary (1,1:0,1)”
• P179 had sales price: change quantification to “one to one, necessary (1,1:0,1)”
  
  • Provide additional FOL conditions to disallow one instance of E54 Dimension to be the dimension of an E18 Physical Thing and an E96 Purchase, and an E52 Time-Span simultaneously.
• Ο12 has dimension: change quantification to “many to many (0,n:0,n)” 
  
  • Provide additional condition that if a dimension pertains to multiple instances of S15 Observable Entity, then this dimension is an instance of S25 Relative Dimension.
• Assign HW to define a shortcut property (S21 Measurement. Oxx7 observed dimension: E54 Dimension; “one to one, necessary (1,1:0,1)”. The model can generalize to Observation.

Discussion points:

Debate abt whether one instance of E16 Measurement can produce exactly one instance of E54 Dimension, or more. MD thinks it’s exactly one.

Decision:

• The SIG voted in favor introducing these property quantifiers and assigning HW to do the FOL constraints to their semantics.
  
  • HW: MD, CEO.
• Start a new issue (679) about prohibiting multiple objects from sharing the same instance of E54 Dimension.
• Nb. The decision about P191 had duration (“one to one, necessary (1,1:0,1)”), to inform issue 664.

Paris, March 2024