reformulate the scope notes of O19, O21

Posted by Robert Sanderson on 22/10/2020

HW from the Oct 2020 SIG to review the scope notes for O19 and O21, given the relabeling of the properties to use "encounter" rather than "found".

O19 current scope note:  

    This property associates an instance of S19 Encounter Event with an instance of E18 Physical 

    Thing that has been found. 

Proposed new scope note:

This property associates an instance of S19 Encounter Event with an instance of E18 Physical Thing that was encountered or observed as present during the event. 

O21 current scope note:

    This property associates an instance of S19 Encounter Event with an instance of E53 Place at which an encounter event found things. It identifies the narrower spatial location in which a thing was found at. This maybe known or given in absolute terms or relative to the thing found. It describes a position within the area in which the instance of the encounter event occurred and found something. 

Proposed new scope note:

This property associates an instance of S19 Encounter Event with an instance of E53 Place at which the things which were encountered were observed to be present. This may be given in absolute terms or in terms relative to the observed thing. The referenced place must be within the boundaries of the E53 Place at which the S19 Encounter Event P7 took place at, if that is given.

In the 49th joint meeting of the CIDOC CRM SIG and SO/TC46/SC4/WG9; 42nd FRBR – CIDOC CRM Harmonization meeting, RS presented his HW (new scope notes of O19 and O21), which the sig accepted. The details can be found here.

The sig appointed MD to edit the FOL axioms for said properties, to incorporate the notions of Presence and Embedding of things. 

Post by Martin Doerr (13 June 2021)

Dear All,

Here my trial at the FOL for O19, O21.

I suggest the encountered object may be larger than the part encountered.

O21 encountered at (witnessed encounter)

Domain:              S19 Encounter Event

Range:                 E53 Place

Quantification:   many to many, necessary (1,n:0,n)

Scope note:         This property associates an instance of S19 Encounter Event with an instance of E53 Place at which the things, which were encountered, were observed to be present. This may be given in absolute terms or in terms relative to the observed thing. The associated place must be within the boundaries of the E53 Place at which the S19 Encounter Event took place, if that has been given. Note, that the encountered object may be larger and extend beyond the place of encounter, such as a corner of a building being excavated.

Examples:          

• The "urn:catalog:IOL:POLY:Sphaerosyllis-levantina-ALA-IL-7-Oct.2009" (S19) has found at Haifa Bay (E53).

In First Order Logic:

                           O21(x,y) ⇒  S19(x)

                           O21(x,y) ⇒  E53(y)

                           O21(x,y) ⇒ (∃z)[ E53(z) ∧ P161(x,z) ∧ P89(y,z)]

                           O21(x,y) ⇒ (∃z,v,w)[ E93(w) ∧  E18(z) ∧ E52(v) ∧ O19(x,z) ∧ P195(w,z) ∧ P4(x,v) ∧ P164(w,v) ∧ P197(w,y)]

 In words:

There exists a place z which is the spatial projection P161 of the encounter event S19, and contains  P89i the place of encounter.

The presence E93 of P195 the encountered object O19 at the time E52 of P4 the encounter P197 covered parts of (or P167 was within ) the place of encounter.

And O19 encountered object (object was encountered at):

                           O19(x,y) ⇒  S19(x)

                           O19(x,y) ⇒  E18(y)

                            O19(x,y) ⇒ (∃z)[ E53(z) ∧  O21(x,z)]

Best,

Martin