Issue 521: cardinality corrections with E93 Presence.

Posted by Martin on 30/10/2020

Dear All

P195 was a presence of (had presence)
Domain: E93 Presence
Range:    E18 Physical Thing

Quantification: many to one, necessary (1,1 : 0,n)
 
Is wrong. This is a shortcut through P166, which is necessary, but an instance of E93 Presence may be defined on spacetime volumes others than that of an E18.

Therefore:

NEW Quantification: many to one (0,1 : 0,n)

Further:

P197 covered parts of (was partially covered by)
Domain: E93 Presence
Range: E53 Place

Scope note:
This property associates an instance of E93 Presence with an instance of E53 Place that geometrically overlaps with the spatial projection of the respective instance of E93 Presence. A use case of this property is to state through which places an object or an instance of E21 Person has or was moved within a given time-span. It may also be used to describe a partial or complete, temporary or permanent extension of the spatial extent of some realm into a neighboring region during a known time-span. It may also be used to describe a partial or complete, temporary or permanent extension of the spatial extent of some realm into a neighboring region during a known time-span. It is a shortcut of the more fully developed path from E93 Presence through P161 has spatial projection, E53 Place, P121 overlaps with to E53 Place.

....needs a Quantification: many to many (0:n,0:n)

An instance of E53 Presence may cover parts of many places, and places may not be covered by any presence or by many.

One may argue, that the spatial projection of an instance of E93 Presence is a subproperty of P197, if P121 would include identity. I vote against such an interpretation, and for proper "overlaps".

I propose an immediate e-vote to be called for this issue.