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

Robert Sanderson RSanderson at getty.edu
Thu May 2 23:20:31 EEST 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.

Rob


From: Crm-sig <crm-sig-bounces at ics.forth.gr> on behalf of Martin Doerr <martin at ics.forth.gr>
Date: Monday, April 29, 2019 at 12:11 PM
To: crm-sig <Crm-sig at ics.forth.gr>
Subject: [Crm-sig] Issue 410 homework (P11 & P12)


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.

--

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

 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<mailto: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/20190502/0a63fdc2/attachment-0001.html>


More information about the Crm-sig mailing list