[Crm-sig] Issue 410 homework (P11 & P12)

bruseker at ics.forth.gr bruseker at ics.forth.gr
Tue Apr 30 21:14:47 EEST 2019


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 <martin at 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: martin at ics.forth.gr
>  Web-site: http://www.ics.forth.gr/isl





More information about the Crm-sig mailing list