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)