Issue 464: P172 quantification

ID: 
464
Starting Date: 
2020-02-11
Working Group: 
3
Status: 
Done
Closing Date: 
2020-02-28
Background: 

Posted by Martin on 20/1/2020

Dear All,
Should be

Quantification:    many to many (0,n:0,n)"

P172 contains

Domain: E53 Place

Range: E94 Space Primitive

Scope note:         This property describes a minimum spatial extent which is contained within an instance of E53 Place. Since instances of E53 Place may not have precisely known spatial extents, the CIDOC CRM supports statements about minimum spatial extents of instances of E53 Place. This property allows an instance of E53 Places’s minimum spatial extent (i.e. its inner boundary or a point being within a Place) to be assigned an instance of E94 Space Primitive value.

This property is a shortcut of the fully developed path:  E53 Place, P89i contains, E53 Place, P168 place is defined by, E94 Space Primitive

Examples:         

§  the spatial extent of the Acropolis of Athens (E53) contains POINT (37.971431 23.725947) (E94)

 

In First Order Logic:

                           P172(x,y) ⊃ E53(x)

                           P172(x,y) ⊃ E94(y)

Outcome: 

In the 46th joint meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9; 39th FRBR - CIDOC CRM Harmonization meeting; in the context of the issue 472: quantification of P169, P170, P171, P172, the sig accepted the proposed  Quantification : (0,n:0,n).

The issue closed

Athens, February 2020