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."
Best, Mélanie. De : bruse...@ics.forth.gr A : crm-sig@ics.forth.gr Date : 30/04/2019 20:23 Objet : Re: [Crm-sig] Issue 410 homework (P11 & P12) Envoyé par : "Crm-sig" <crm-sig-boun...@ics.forth.gr> Dear Martin, It looks like a good rewrite. The scope note for p11 should probably adopt 'her' as a pronoun in the formulation. Best, George Quoting Martin Doerr <mar...@ics.forth.gr>: > 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 <#_E5_Event> Event > > Range: E39 <#_E39_Actor> Actor > > Subproperty of: E5 <#_E5_Event> Event. P12 <#_P12_occurred_in_the > presence of (wa> occurred in the presence of (was present at): E77 > <#_E77_Persistent_Item> Persistent Item > > Superproperty of: E7 <#_E7_Activity> Activity. P14 > <#_P14_carried_out_by (performed)> carried out by (performed): E39 > <#_E39_Actor> Actor > > E67 <#_E67_Birth> Birth. P96 <#_P96_by_mother_(gave birth)> by > mother (gave birth): E21 <#_E21_Person> Person > > E68 <#_E68_Dissolution> Dissolution. P99 > <#_P99_dissolved_(was_dissolved by)> dissolved (was dissolved by): > E74 <#_E74_Group> Group > > E85 <#_E85_Joining> Joining.P143 <#_P143_joined_(was_joined by)> > joined (was joined by): E39 <#_E39_Actor> Actor > > E85 <#_E85_Joining> Joining.P144 <#_P144_joined_with_(gained member > by)> joined with (gained member by): E74 <#_E74_Group> Group > > E86 <#_E86_Leaving> Leaving.P145 <#_P145_separated_(left_ by)> > separated (left by):E39 <#_E39_Actor> Actor > > E86 <#_E86_Leaving> Leaving.P146 <#_P146_separated_from_(lost member > by> separated from (lost member by):E74 <#_E74_Group> Group > > P151 <#_P151_was_formed_1> was formed from: E74 <#_E74_Group> 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 <#_E5_Event> Event > > Range: E77 <#_E77_Persistent_Item> Persistent Item > > Superproperty of: E5 <#_E5_Event> Event. P11 > <#_P11_had_participant_(participated i> had participant > (participated in): E39 <#_E39_Actor> Actor > > E7 <#_E7_Activity> Activity. P16 <#_P16_used_specific_object (was > used > used specific object (was used for): E70 <#_E70_Thing> Thing > > E9 <#_E9_Move> Move. P25 <#_P25_moved_(moved_by)> moved (moved by): > E19 <#_E19_Physical_Object> Physical Object > > E11 <#_E11_Modification> Modification. P31 <#_P31_has_modified_(was > modified by)> has modified (was modified by): E18 > <#_E24_Physical_Man-Made_Thing> Physical Thing > > E63 <#_E63_Beginning_of_Existence> Beginning of Existence. P92 > <#_P92_brought_into_existence (was bro> brought into existence (was > brought into existence by): E77 <#_E77_Persistent_Item> Persistent > Item > > E64 <#_E64_End_of_Existence> End of Existence. P93 > <#_P93_took_out_of existence (was take> took out of existence (was > taken out of existence by): E77 <#_E77_Persistent_Item> Persistent > Item > > E79 <#_E79_Part_Addition> Part Addition.P111 <#_P111_added_(was> > added (was added by): E18 <#_E18_Physical_Thing> Physical Thing > > E80 <#_E80_Part_Removal> Part Removal.P113 <#_P113_removed_(was> > removed (was removed by): E18 <#_E18_Physical_Thing> 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. > > -- > ------------------------------------ > Dr. Martin Doerr > Honorary Head of the > Center for Cultural Informatics > Information Systems Laboratory > Institute of Computer Science > Foundation for Research and Technology - Hellas (FORTH) > N.Plastira 100, Vassilika Vouton, > GR70013 Heraklion,Crete,Greece > Vox:+30(2810)391625 > Email: mar...@ics.forth.gr > Web-site: http://www.ics.forth.gr/isl _______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig Expositions Manuscrits de l’extrême – jusqu'au 7 juillet 2019 | François-Mitterrand et Le Monde en sphères – jusqu'au 21 juillet 2019 | François-Mitterrand Avant d'imprimer, pensez à l'environnement.
