Issue 410: Layout of CIDOC CRM official version

Starting Date: 
2019-03-04
Working Group: 
1
Status: 
Open
Background: 

Posted by Martin on 4/3/2019

On the occasion  of the deprecated classes and properties as well as of the other CRM family models we should discuss how the various conceptual units appeared in the official CRM text should be presented. 

Posted by Christian Emil on 23/3/2019

I have read all the FOL expressions in the class and property definintion. I have added a comment for every correction/addition I have done in all 55. I have also done some other corrections. An important issue is the FOL describtion of E1 and E59. These classes don't have any superclasses and have a FOL description E1(x), E59(x). Since there is an implicit  universal quantifier this implies that all instances  of all classes are instances of E1 and E59.

Posted by Christian Emil on 24/3/2019

E1 CRM Entity and E59 Primitive Value are the only classes in CRM without a superclass. I assume we can imply from this that the two classes are disjoint.

In the CRMcore definintion the FOL descriptions are

E1 CRM Entity:

E1(x)

E59 Primitive Value:

E59(x)

The FOL descriptions in CRM are open expression with an implied universal quantifier. This is ok but not very  informative for E1(x) = "all x. E1(x)"  expresses the idea that everything we talk about are instanses of the universal class E1 CRM Entity.

The E59(x) = "all x.E59(x)" blurs the picture and indicate in a FOL description of CRM that everything is a primitive value.  It is ok to have the E59(x) as a predicate, but "all x.E59(x)"​ cannot be an axiom. We can solve this by removing the FOL description of E59.

Opinions?

Posted by Martin on 24/3/2019

Dear Christian-Emil,

Indeed it appears now that the Primitive Values are not as separate as initially conceived. Please check against the interpretations we give in the RDF implementation guidelines. On the other side, E59 instances do not have identifiers of their own as E1 instances have. But wrt the FOL description, Carlo should have an opinion

Posted by Christian Emil on 24/3/2019

Dear Martin, all,

An RDF interpretation of CRM is an implementation like any other implementation, for example  in a relational database formalism.  My impression has been that the FOL description should be authoritative in the sense that there has to be what we may call a mapping/implementation function from the FOL description to an implementation of CRM preserving the validity. ​ The FOL description should be carefully expressed. As it is now, iti s a valid statement in the FOL theory that every instance is a primitiv value.

Could you, please, give me a pointer to what is the current description of the implementation (interpretation)  of CRM in RDF?

Current Proposal: 

In the 43rd joint meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9; 36th FRBR - CIDOC CRM Harmonization meeting, the sig reviewed the layout of CIDOC CRM official version and decided the following:

(1) The CRM definition file will consist of two volumes. Each volume should bear a number and what it is about:
    a.    Volume A: Definition of the CIDOC Conceptual Reference Model
    b.    Volume B: Amendments of the CIDOC Conceptual reference Model

(2) The listing of the [sub-/super-]classes and [sub-/super-]properties in the definitions will be in increasing numerical order. The same applies to listing the inferences drawn among classes in the FOL representation of the CRM

(3) It is decided to delete the axiom E59(x) from the definition of E59 Primitive Value. The notation E59(x) appears in the FOL representation of inferences from subclasses of E59 to E59, without problems 
(f.i. E62(x)  E59(x))

(4) subproperties of P1 is identified by (identifies) Í <E1 CRM Entity x E41 Appellation> are to be deprecated. Also the following properties should be deprecated:

      • P78 is identified by (identifies)  Í <E52 TimeSpan x E41 Appellation>,
      • P87 is identified by (identifies)  Í <E53 Place x E41 Appellation>,
      • P131 is identified by (identifies) Í <E39 Actor x E41 Appellation>

(5) The decision of the discussion to add E41 Appellation in the list of Superclasses of E94 Space Primitive is pending since  the compatiblity of this issue  with the  CRMgeo should be examined first (CEO's HW)

(6) add the inverse superproperty of P9 consists of (forms part of) –namely P10i contains (falls within) –in the definition of P9 (P9 isA P10i), and  add the FOL representation of the inference among P10 falls within (contains) and P132 spatiotemporally overlaps with –namely P10 (x,y) isA P132 (x,y).

(7) It was decided to delete E50 Date from the scope notes of P11 & P12  (deprecated class). The sig assigned MD to redraft the scope notes, seeing as they mistakenly associate actors (P11) and things (P12) with the Place of the event, rather than the event itself. 

(8)  it was decided that the spatiotemporal topological relations between E9 Move and P7 took place at (witnessed), P26 moved to (was destination of), P27 moved from (was origin of) and P161 has spatial projection (is spatial projection of)  be defined (unassigned)

(9) the scope note of P31 was updated

(10) It was decided to delete E51 Contact Point from the scope note definition of P92 & P93.

(11)   FOL representations were added for the superproperties of P114 

(12) the FOL representation of the superproperty of P164 was changed to represent that P164 isA P160

(13) the example of P128 was updated

(14) It was assigned to MD to review the  FOL notation by CEO for properties P169 through P190

(15) The sig reviewed the introductory text of CIDOC CRM (version 6.2.5) and did some rearranging in the order of the material plus additions and deletions in order to produce a text that will form the basis of the text to be submitted to ISO. Editorial work is still pending.  

The whole discussion maybe found here

Heraklion, March 2019

Posted by Martin on 8/4/2019

Dear All,
Here my attempt to reduce the confusion about STVs

 

Comments welcome!

Posted by Martin on 29/4/2019

Dear All,
Here my rewriting of the scope notes of P11 and P12. It is a part of the most fundamental reasoning in the CRM, which may be formulated in FOL. Likelihoods of course not. Comments most welcome!

OLD:
P11 had participant (participated in)

Domain:              E5 Event

Range:                E39 Actor

Subproperty of:   E5 Event. P12 occurred in the presence of (was present at): E77 Persistent Item

Superproperty of: E7 Activity. P14 carried out by (performed): E39 Actor

                           E67 Birth. P96 by mother (gave birth): E21 Person

                           E68 Dissolution. P99 dissolved (was dissolved by): E74 Group

E85 Joining.P143 joined (was joined by): E39 Actor

E85 Joining.P144 joined with (gained member by): E74 Group

E86 Leaving.P145 separated (left by):E39 Actor

E86 Leaving.P146 separated from (lost member by):E74 Group

P151 was formed from: E74 Group

 

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

Scope note:         This property describes the active or passive participation of instances of E39 Actors in an E5 Event.

 

It connects the life-line of the related E39 Actor with the E53 Place and E50 Date of the event. The property implies that the Actor was involved in the event but does not imply any causal relationship. The subject of a portrait can be said to have participated in the creation of the portrait.

Examples:          

§  Napoleon (E21) participated in The Battle of Waterloo (E7)

§  Maria (E21) participated in Photographing of Maria (E7)

 

In First Order Logic:

                           P11(x,y) ⊃ E5(x)

                           P11(x,y) ⊃ E39(y)

                           P11(x,y) ⊃ P12(x,y)

 

NEW:

Scope note:         This property describes the active or passive participation of instances of E39 Actors in an E5 Event.

 

The known events in which an instance of E39 Actor has participated can be seen as stations of his course of life, his history. The E53 Place and E52 Time-Span where and when these events happened provide us with constraints about the presence of the related E39 Actor in the past. Collective actors, i.e., instances of E74 Group, may physically participate in events via their representing E21 Persons only. The participation of multiple actors in an event is most likely an indication of their acquaintance and interaction.

The property implies that the Actor was involved in the event but does not imply any causal relationship. For instance, someone having been portrayed can be said to have participated in the creation of the portrait.

OLD:
P12 occurred in the presence of (was present at)

Domain:              E5 Event

Range:                E77 Persistent Item

Superproperty of: E5 Event. P11 had participant (participated in): E39 Actor

E7 Activity. P16 used specific object (was used for): E70 Thing

                           E9 Move. P25 moved (moved by): E19 Physical Object

                           E11 Modification. P31 has modified (was modified by): E18 Physical Thing

                           E63 Beginning of Existence. P92 brought into existence (was brought into existence by): E77 Persistent Item

E64 End of Existence. P93 took out of existence (was taken out of existence by): E77 Persistent Item

E79 Part Addition.P111 added (was added by): E18 Physical Thing

E80 Part Removal.P113 removed (was removed by): E18 Physical Thing

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

 

Scope note:         This property describes the active or passive presence of an E77 Persistent Item in an E5 Event without implying any specific role.

 It connects the history of a thing with the E53 Place and E50 Date of an event. For example, an object may be the desk, now in a museum on which a treaty was signed. The presence of an immaterial thing implies the presence of at least one of its carriers.
Examples:          

§  Deckchair 42 (E19) was present at The sinking of the Titanic (E5)

In First Order Logic:

                           P12(x,y) ⊃ E5(x)

                           P12(x,y) ⊃ E77(y)

NEW

Scope note:   This property describes the active or passive presence of an E77 Persistent Item in an E5 Event without implying any specific role.

The known events in which an instance of E77 Persistent Item was present can be seen as stations of its course of existence, its history. For example, an object may be the desk, now in a museum on which a treaty was signed. The E53 Place and E52 Time-Span where and when these events happened provide us with constraints about the presence of the related E77 Persistent Item in the past. Instances of E90 Symbolic Object, in particular information objects, are physically present in events via at least one of the instances of E18 Physical Thing carrying them. Note, that the human mind can be such a carrier. A precondition for a transfer of information to a person or another new physical carrier is the presence of the respective information object and this person or physical thing in one event.

 

Posted by George Bruseker on 30/4/2019

Dear Martin,

It looks like a good rewrite. The scope note for p11 should probably adopt 'her' as a pronoun in the formulation. 

Posted by Melanie on 2/5/2019

Dear Martin,

I agree with George: the first sentence of the scope note for P11 should read
"The known events in which an instance of E39 Actor has participated can be seen as stations of his or her course of life, his or her history."

Posted by Florian Kräutli  on 2/5/2019

Dear all,

You can also use either the singular 'they/their'...

    "The known events in which an instance of E39 Actor has participated can be seen as stations of their course of life, their history."

or a plural...

    "The known events in which instances of E39 Actors have participated can be seen as stations of their course of life, their history."

if one wants to avoid binaries.

I would use the latter because you start the scope note with E39 in plural ("This property describes the active or passive participation of instances of E39 Actors in an E5 Event.")
 

Posted by Robert Sanderson on 2/5/2019

Dear Martin, all,

I agree about the gendered pronouns, as you might imagine.

One further very minor note – I think there should be a second comma after “now in a museum” – the treaty was signed on the desk, not on the museum ☺

The museum clause is dependent upon and descriptive of the desk.
 

Posted by Athina on 30/5/2019

I send you my homework about graphs

Posted by Thanasis Velios on 5/6/2019

Dear all,

Following a discussion with Martin I am attaching the introduction to
basic CRM concepts for the CRM document which is to be followed by the
graphical representations and examples. We anticipate changes when all
material is considered together.

------------------------------------------------------------

Introduction to basic concepts

The following paragraphs explain core CRM concepts.
The CRM can describe entities which remain relatively stable with the
passing of time (E77 Persistent Item) and have identity based on the
continuity or continued availability of their properties. These include,
among others, monuments (e.g. E22 Human-Made Object) and mental ideas
(e.g. E28 Conceptual Object). These entities are prone to change through
human activity, biological, geological or environmental processes, but
are regarded to exist as long as such changes do not alter their essence
(their identity). For example, the Great Sphinx of Giza may have lost
part of its nose, but there is no question that we are still referring
to the same monument as that before the damage occured, since it
continues to represent significant characteristics of an overall shaping
in the past which is of archaeological relevance.

The CRM also includes entities (E2 Temporal Entity) which are themselves
time-limited processes or evolutions within the passing of time. They
necessarily involve an affected material, social or mental environment,
in the form of E77 Persistent Items or continuous substance, such as the
atmosphere.  They include among others making things by humans (E12
Production) and geological events (E5 Event). Once these entities occur,
they can only be experienced through observation or recordings. Evidence
of such entities (E2 Temporal Entity) may be preserved on material
objects being permanently affected or recorded through oral history.

Therefore a basic distinction of records modelled through the CRM is
between instances of E77 Persistent Item (endurants) and instances of E2
Temporal Entity (perdurants). In most cases this distinction is adequate
to describe database records. In exceptional cases, where we need to
consider complex combinations of changes of spatial extent over time,
the concept of spacetime (E92 Spacetime Volume) also needs to be
considered. E92 Spacetime Volume describes the entities whose substance
has or is an identifiable, confined geometrical extent that may vary
over time, fuzzy boundaries notwithstanding. For example, the built
settlement structure of the city of Athens is confined both from the
point of view of time-span (from its founding until now) and from its
changing geographical extent over the centuries, which may become more
or less evident from current observation, documents and excavations.
Even though E92 Spacetime Volume is an important theoretical part of the
model, it can be ignored for most practical documentation and modeling
tasks.

We explain these concepts with the help of graphical representations in
the next sections.