Version 1 by Vladimir Alexiev
on Feb 20, 2013 15:59.

compared with
Key
This line was removed.
This word was removed. This word was added.
This line was added.

Changes (27)

View Page History
{code}

h1. Fundamental Relations

h2. Sub-FRs
Here we define some auxiliary (sub) FRs that are used below.
{code}

h1. Fundamental Relations
- FRT9i_10 := (P9i_forms_part_of | P10_falls_within)+
{code:title=Rules}
x <crm:P9i_forms_part_of> y => x <rso:FRT9i_10> y
x <crm:P10_falls_within> y => x <rso:FRT9i_10> y
x <rso:FRT9i_10> y; y <crm:P9i_forms_part_of> z => x <rso:FRT9i_10> z
x <rso:FRT9i_10> y; y <crm:P10_falls_within> z => x <rso:FRT9i_10> z
{code}

- FRX24i_30i := (FC70_Thing) (P24i_changed_ownership_through | P30i_custody_transferred_through)
{code:title=Rules}
x <rdf:type> <rso:FC70_Thing>; x <crm:P24i_changed_ownership_through> y => x <rso:FRX24i_30i> y
x <rdf:type> <rso:FC70_Thing>; x <crm:P30i_custody_transferred_through> y => x <rso:FRX24i_30i> y
{code}

- FRX24i_25i_30i := (FC70_Thing) (FRX24i_30i | P25i_moved_by)
{code:title=Rules}
x <rso:FRX24i_30i> y => x <rso:FRX24i_25i_30i> y
x <rdf:type> <rso:FC70_Thing>; x <crm:P25i_moved_by> y => x <rso:FRX24i_25i_30i> y
{code}

h2. Thing-Place


Implementation:
- FRX24i_25i_30i := (FC70_Thing) (P24i_changed_ownership_through | P25i_moved_by | P30i_custody_transferred_through)
{code:title=Rules}
x <rdf:type> <rso:FC70_Thing>; x <crm:P24i_changed_ownership_through> y => x <rso:FRX24i_25i_30i> y
x <rdf:type> <rso:FC70_Thing>; x <crm:P25i_moved_by> y => x <rso:FRX24i_25i_30i> y
x <rdf:type> <rso:FC70_Thing>; x <crm:P30i_custody_transferred_through> y => x <rso:FRX24i_25i_30i> y
{code}
- FRX7_from_place := FRX24i_25i_30i / P7_took_place_at
{code:title=Rules}
x <rso:FRX24i_25i_30i> y; y <crm:P7_took_place_at> z => x <rso:FRX7_from_place> z
{code}

- FR7_from_place := FR92i_created_in | FR12_found_at |
| (FC70_Thing) (P53_has_former_or_current_location | P54_has_current_permanent_location | FRX7_from_place) / P89_falls_within*
{code:title=Rules}
x <rso:FR92i_created_in> y => x <rso:FR7_from_place> y
h3. Thing has owner-keeper Actor- FR52_current_owner_keeper
Thing has current owner or keeper Actor
- The original definition of FR14_by is a mix (mess) of "created, measured, modified, acquired or used for activity performed by actor", but we decided to restrict it

Implementation:
{code}

h3. Thing has former-current owner-keeper Actor- FR51_former_or_current_owner_keeper
h3. Thing has former owner or keeper Actor- FR51_former_or_current_owner_keeper
Thing has former or current owner or keeper Actor, or ownership/custody was transferred from/to actor in Acquisition/Transfer of Custody event
!FR51_former_or_current_owner_keeper.png!
Note: this subsumes [#Thing has owner-keeper Actor- FR52_current_owner_keeper]

Implementation: FRX24i_30i goes to E8,E10. We don't need to check any type
{code:title=Rules}
x <crm:P49_has_former_or_current_keeper> y => x <rso:FR51_former_or_current_owner_keeper> y
x <crm:P51_has_former_or_current_owner> y => x <rso:FR51_former_or_current_owner_keeper> y
x <crm:P24_transferred_title_of> y => x <rso:FRX24_30> y
x <crm:P30_transferred_custody_of> y => x <rso:FRX24_30> y
x <rso:FRX24i_30i> y; y <crm:P22_transferred_title_to> z => x <rso:FR51_former_or_current_owner_keeper> z
x <rso:FRX24i_30i> y; y <crm:P23_transferred_title_from> z => x <rso:FR51_former_or_current_owner_keeper> z
x <rso:FRX24i_30i> y; y <crm:P28_custody_surrendered_by> z => x <rso:FR51_former_or_current_owner_keeper> z
x <rso:FRX24i_30i> y; y <crm:P29_custody_received_by> z => x <rso:FR51_former_or_current_owner_keeper> z
{code}

- The original definition of FR14_by is a mix (mess) of "created, measured, modified, acquired or used for activity performed by actor", but we decided to restrict it

h3. Thing created by Actor- FR92i_created_by
Thing (or part/inscription thereof) was created or modified/repaired by Actor (or group it is member of)

Implementation:
- FR12_has_met := (P12i_was_present_at | FRX24i_25i_30i) / P12_occurred_in_the_presence_of (E39_Actor)
{code:title=Rules}
x <crm:P12i_was_present_at> y; y <crm:P12_occurred_in_the_presence_of> z; z <rdf:type> <crm:E39_Actor> => x <rso:FR12_has_met> z
- FR67_about_actor := FRX67_about (E39_Actor)
{code:title=Rules}
x <rso:FRX67_about> y; y <rdf:type> <crm:E39_Actor> => x <rso:FR67_about_actor> y
{code}


h3. Thing has met Event- FR12_was_present_at
Thing was present at (has met, changed ownership or custody through) event.
- (FRThing.docx refers to this variously as "has met" or "from", but we use FR12_has_met for Actor, so we use FR12_was_present_at for this. The name is derived from the name of the key constituent CRM property.)
- We remove the partOf loop in the beginning to avoid [#BUG]
Thing was present at Event (eg exhibition) or is from Period

{section}{column}
As defined in FRThing.docx:
- FRThing.docx refers to this variously as "has met" or "from"
!FR12_was_present_at.png!
{column}{column}
Corrected definition:
- we use FR12_has_met for Actor, so we use FR12_was_present_at for this. The name is derived from the name of the key constituent CRM property.
- we loop down the part hierarchy in the beginning to avoid [#BUG]
!FR12_was_present_at_fixed.png!
{column}{section}
x <rso:FRT_46_106_148> y; y <crm:P1_is_identified_by> z; z <rdfs:label> t => x <rso:FR1_identified_by> t
{code}

Notes:
- TODO: it may be better to stop at P1 so the identifier type can also be examined