Post by Martin Doerr (14 August 224)
Dear All,
The semantics of E16 had been modified in 7.1, but the scope notes of the properties P40 and P43 have not been adjusted. See the attached.
Best,
Martin
In the 60th joint meeting of the CIDOC CRM and ISO/TC46/SC4/WG9 & 53rd FRBR/LRMoo SIG, the SIG reviewed MD’s proposal to update the definitions of P39 measured (was measured by), P40 observed dimension (was observed in), and P43 has dimension (is dimension of).
A summary of decisions can be found below:
P39 is accepted as proposed, following some minimal wordsmithing.
P43:
- The scope note is accepted as proposed, following some minimal wordsmithing.
- The property quantifiers were approved too.
- The exclusion statements and the deductions need to be rethought. The SIG believes that deduction axioms are redundant, so would need more convincing to agree to add them in. And there is no agreement on the utility of the exclusion axioms either.
P40:
- The scope note is accepted provisionally, following some minimal wordsmithing.
- The property quantifiers were approved too.
- The exclusion statements and the deductions need to be rethought. The SIG believes that deduction axioms are redundant, so would need more convincing to agree to add them in. And there is no agreement on the utility of the exclusion axioms either.
HW: MD, CEO, WS to rethink the FOL axioms for P40, P39
The details of the reformulations and the points raised during the discussion can be found in the attached document.
Bern, April 2025