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

Martin Doerr martin at ics.forth.gr
Mon Apr 29 22:11:47 EEST 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 <#_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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20190429/7b1ce817/attachment-0001.html>


More information about the Crm-sig mailing list