Issue 492: Spatiotemporal formalization about the presence of parts

Starting Date: 
Working Group: 

In the 46th joint meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9; 39th FRBR - CIDOC CRM Harmonization meeting,  the crm-sig resolving the issue 438, found that the  properties P8, P12, P110, P111, P112, P113   may have an added spatiotemporal formalization about the presence of parts.  This issue is created for describing the discussion about these new formalizations.

Athens, February 2020


In the 53rd CIDOC CRM & 46th FRBRoo SIG meeting, MD gave some background for the issue: The theory of mereology developed by the team of N.Guarino, according to which the physical extent of the whole includes the physical extent of its parts, informed the construct of E93 Presence. 

Decision: go through the properties identified as having an added spatiotemporal formalization (P8, P12, P110, P111, P112, P113) and formulate axioms of parthood in FOL. 
HW: WS, (MD)

May 2022

Post by Wolfgang Schmidle (7 December 2022)

Dear all,

Please find my HW for Issue 492 "Spatiotemporal formalization about the presence of parts“ here


In the 55th joint meeting of the CIDOC CRM and SO/TC46/SC4/WG9; 48th FRBR/LRMoo SIG meeting, the SIG appointed WS to continue working on the issue, taking into account the feedback provided. 

For the details of the HW and the discussion, see attached.

Belval, December 2022