Issue 275: Space primitive
In the 32nd joined meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9 and the 25th FRBR - CIDOC CRM Harmonization meeting, discussing about the name of E93, we discuss that maybe we need a place primitive analogously to time primitive. The E53 Place should not be contiguous. It may consist of finite sets of non-contiguous areas. The CRM-SIG decided to introduce a place primitive. This is an assignment for Øyvind.
commented by Gerald Hiebel on 1/5/2015
On 1. mai 2015, at 23:12, Gerald Hiebel wrote:
> Dear all,
> After a Skype with Martin we ended with a much more elegant Version of Space and Spacetime Primitive getting rid of all new properties, by making Space Primitive a subclasses of Place in the sense of a declarative Place and Spacetime Volume Primitive a subclasses of Spacetime Volume in the sense of a declarative Spacetime Volume. Comments welcome,
commented by Oyvind on 7/5/2015
This is an interesting solution. It is a stretch for me for the following reason:
A place in the CRM sense is an extent in space, e.g., on the face of the earth.
A declarative place is a place (an extent in space, e.g., on the face of the earth) which is defined by a language expression, such as a set of coordinates. The coordinates are not the declarative place, the declarative place is rather the real world place specified by the coordinated. In that sense a declarative place is a type of place.
A space primitive is a language expression. It is, e.g., a set of coordinates. These coordinates can specify a place. But what is suggested now is that the coordinates themselves -- the space primitive -- isa place.
How can you explain to a stubborn theoretician that this is not confusing a thing with its name?
Commented by Martin Doerr on 7/5/2015
May be I have also confused things. The question is, if multiple syntactical forms of the same
mathematical construct would be regarded as identical or not by a knowledge base. Then either
we need a property of a (declarative) place to be "defined by" a place primitive, and then a
phenomenal place, possibly spatial projection of a STV, may fall within the former.
The analogy of the Time-Span would mean that the "at some time within" is a sort of "falls within"
between a phenomenal and a declarative Time-Span.
May be a better solution than declaring the primitive IsA Place or Time-Span would be to regard
"at some time within" a shortcut through a not represented declarative time-span, and do an
analogous thing with Place. Then we would need an explicit construct for place and time-span,
an "is defined by: Primitive"
What do you think?
Commented by Eide on 10/5/2015
Instinctly this sounds like a better solution.
Proposed by Christian Emil on 10/5/2015
In the scope note of Exx Space Primitive the term 'double instantiation' is used. It should be 'double inheritance'.
A dummy's question may be: The examples of Exx Space primitive could have been used in the scope note of Place Appellation. What use do I have of a Space Primitive? Compute distances?
Ex1 Spacetime Primitive:
A spacetime volume can be imagined/is as 4 dimensional object. The spatial extent is a function of the time dimension. The first example has a static spatial extent. The second may have the same kind if the GML is not parameterize with time.
Spacetime volume have the properties
P160 has temporal projection: E52 Time-Span
P161 has spatial projection: E53 Place
E52 Time-Span P81 ongoing throughout: E61 Time Primitive
Is there any property between a E53 Place and Exx Space Primitive or is the subclass of identifiable places?
Ditto for Spacetime volume
I see that this may be what you, Martin, may mean by the last paragraph in your email from May 7th?
Martin, could you please elaborate a little on what you mean by formulation below, especially what you mean by a mathematical construct in this context, is it for example
commented by Martin on 10/5/2015
On 10/5/2015 2:51 μμ, Christian-Emil Smith Ore wrote:
> I see that this may be what you, Martin, may mean by the last paragraph in your email from May 7th?
> Martin, could you please elaborate a little on what you mean by formulation below, especially what you mean by a mathematical construct in this context, is it for example
> "The question is, if multiple syntactical forms of the same mathematical construct would be regarded as identical or not by a knowledge base"
Yes, this is what I meant, more practically, encoding differences like "2" or "2.0" or "2.00000000000 e0"
It is proposed by Gerald Hiebel about Space Primitive and Spacetime Primitive on 13/5/2015
I tried to adapt the proposal to your inputs (I hope that I understood them in the right way), thanks very much for them!
Any suggestions, comments, improvements very welcome,
Comments by Eide on 15/5/2015
This looks good to me. Two smaller comments:
1) Given the definition of E53 Place: in Exx Space Primitive the concept of “geometries on or relative to earth” should be extended to include things like coordinates on a ship, places on the moon, and areas of a manuscript page.
2) “GML” in Ex1 Spacetime Primitive: this is polysemous and should be written out in full.
Proposed by Gerald Hiebel on 15/05/2015
Thanks for the very good remarks. I will include them and send it start of next week.
Posted by Gerald Hiebel on 18/5/2015
Dear Øyvind, all,
I put your comments in and added a sentence how things like a ship, places on the moon, and areas of a manuscript page can be explicitly modelled through the property P157 is at rest relative to going from the defined declarative place to the Physical Thing. I was unsure if this belongs to the scope note of Space Primitive, please delete as appropriate.
Thank you very much for your scope note on E4 Period, that’s great!
There is one sentence I had trouble understanding the “it” in the first read:
However, the real spatiotemporal extent of an instance of E4 Period is regarded to be unique to “it” due to all its details and fuzziness
Reading several times it seems more natural and I did not come up with a different formulation either.
In the 35th joined meeting of the CIDOC CRM SIG and 28th FRBR - CIDOC CRM Harmonization meeting, the crm-sig changed the scope note of E94 Space Primitive, P168 place is defiend by(defines place).
Also new classes and properties have been introduced, these are E95 Spacetime primitive, P169 defines spacetime volume (spacetime volume is defined by), P171 at some place within , P172 contains.
These changes have been incorporated into the CIDOC CRM version 6.2.2
Also, it is pointed out that revision of the scope note of E61 Time Primitive is needed, and the addition of a new construct about declarative time span which is a result of a time primitive is needed too.
Prato, February 2016
posted by George Bruseker on 28/11/2016
In the 37th joined meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9 and the 30th FRBR - CIDOC CRM Harmonization meeting, the crm-sig discussed this issue and made the following proposals and decisions:
(a) assigned to GB to improve his proposal about the scope note of E61 according with the following recommendations:
– Check the proposed scope note (2nd paragraph) is consnisten with the properties P81 and P82, and if they can be referenced to.
– Check against E59 and if this is not expressed there, this should be moved here.
– Consider if E61 is a declarative time – span (Linked to the overall issues of E52 either an approximation or declarative in sense of plan)
(b) the reference note in the scope note of P169 defines spacetime volume (spacetime volume is defined by) should be removed.
(c)approved the changes in the scope note of P171, P172 and since in common documentation practice it might be needed to be expressed a place that is indefinitely related (P171, P172), assigned to Gerald to formulate a question/issue about this in order to be discussed in the next meeting.
Berlin, December 2016