Issue 559: Scope note of O12 has dimension (is dimension of)

ID: 
559
Starting Date: 
2021-09-30
Working Group: 
3
Status: 
Open
Background: 

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. 
HW:

  • 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. 

June, 2021

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

Details here.  

Current Proposal: 

Post by Martin Doerr (23 January 2022)

 

Dear All,

Here my resolution of issue 559, the FOL equivalence in words:

Meetings discussed: