Issue 492: Spatiotemporal formalization about the presence of parts
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)
Post by Wolfgang Schmidle (7 December 2022)
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