Issue 559: Scope note of O12 has dimension (is dimension of)
In the 50th joint meeting of the CIDOC CRM SIG and SO/TC46/SC4/WG9; 43nd FRBR – CIDOC CRM Harmonization meeting, the SIG decided to start a new issue, where to update the scope-note for O12 has dimension (is dimension of).
The scope note of O12 has dimension (is dimension of) needs to be redrafted, in order to include a fully-fledged explanation of the equivalence with P43 from E18 and downwards.
- MD to redraft the scope note for O12:
make sure to flesh out the axiom of equivalence in the scope note).
- Then share the redrafted scope note with TV, who will start an evote.
In the 51st CIDOC CRM & 44th FRBRoo SIG meeting, the SIG reviewed equivalence axiom for O12 has dimension and P43 for S10 Material Substantial and subclasses and the redrafted examples --HW by MD.
Decision: add the axiom to the FOL section of O12 has dimension in CRMsci AND express the equivalence axioms in prose.
HW: MD to formulate the axiom in prose
Post by Martin Doerr (23 January 2022)
Here my resolution of issue 559, the FOL equivalence in words:
In the 52nd joint meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9; 45th FRBR - CIDOC CRM Harmonization meeting; the SIG reviewed HW by MD (rendering the axiom of equivalence between O12 and P43 from E18 and specializations thereof in prose)
The axiom reads: In case the instance of S15 Observable Entity is more specifically an instance of E18 Physical Thing, using the property O12 has dimension (is dimension of) is equivalent to using the property P43 has dimension (is dimension of). In other words, using the one implies the other.
Decision: edit the scope note accordingly, close issue.