ownership

Ownership

An association that consists_of an owner and an asset where the owner owns the asset.

Attributes

• ending: An ending relationship type where an ownership has as ending not more than one ending_of_ownership.
• beginning: A beginning relationship type where an ownership has as beginning exactly one beginning_of_ownership.
• consists_of_participant: A consists_of_participant relationship type where an ownership consists_of_participant exactly one owner.
• consists_of_participant_: A consists_of_participant relationship type where an ownership association consists_of_participant exactly one asset.

EXPRESS Specification

Schema

ENTITY ownership
  SUBTYPE OF(association);
    SELF\spatio_temporal_extent.ending       : OPTIONAL ending_of_ownership;
    SELF\spatio_temporal_extent.beginning    : beginning_of_ownership;
  INVERSE
    SELF\association.consists_of_participant : SET [1:1] OF owner FOR participant_in;
    consists_of_participant_                 : SET [1:1] OF asset FOR participant_in;
END_ENTITY;

Inheritance Graph

ENTITY ownership;
  ENTITY thing;
    member__of               : OPTIONAL SET [1:?] OF class;
  ENTITY spatio_temporal_extent;
    part__of                 : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    part_of_possible_world   : SET [1:?] OF possible_world;
    temporal__part_of        : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    aggregated_into          : OPTIONAL SET [1:?] OF spatio_temporal_extent;
  INVERSE
    consists__of             : SET OF spatio_temporal_extent FOR part__of;
  ENTITY state;
  ENTITY individual;
  ENTITY thing;
    member__of               : OPTIONAL SET [1:?] OF class;
  ENTITY spatio_temporal_extent;
    part__of                 : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    part_of_possible_world   : SET [1:?] OF possible_world;
    temporal__part_of        : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    aggregated_into          : OPTIONAL SET [1:?] OF spatio_temporal_extent;
  INVERSE
    consists__of             : SET OF spatio_temporal_extent FOR part__of;
  ENTITY state;
  ENTITY state_of_association;
    temporal_part_of         : OPTIONAL SET [1:?] OF association;
    member_of                : OPTIONAL SET [1:?] OF class_of_state_of_association;
  ENTITY association;
    member_of                : OPTIONAL SET [1:?] OF class_of_association;
    member_of_kind           : SET [1:?] OF kind_of_association;
  ENTITY ownership;
    ending                   : OPTIONAL ending_of_ownership;
    beginning                : beginning_of_ownership;
  INVERSE
    consists_of_participant  : SET [1:1] OF owner FOR participant_in;
    consists_of_participant_ : SET [1:1] OF asset FOR participant_in;
END_ENTITY;