Relator

Category
RigidSortal
Provides identity
yes
Identity principle
simple
Rigidity
rigid
Dependency
mandatory
Allowed supertypes
Category, Mixin
Allowed subtypes
Subkind, Phase, Role
Forbidden associations
ComponentOf, Structuration, SubCollectionOf, SubQuantityOf
Abstract
undefined

Definition

The «Relator» construct is used to represent truth-makers of material relations, i.e., the “things” that must exist in order for two or more individuals to be connected by material relations. Because of this nature, relators are always dependent on other individuals to exist. Here are some examples of concepts classified as relators:

Relator examples

Note that the «Relator» meta-class is analogous to the «Kind», «Collective» and «Quantity» meta-classes, in the sense that it is rigid and provides an identity principle for its instances. The difference is that, instead of representing functional complexes, quantities or collections, a «Relator» represents the objectification of relational properties. The direct consequence is that relators can also be specialised by subkinds, phases and roles, and generalised by categories and mixins.

Relator application 1

Constraints

C1: A «Relator» must always be connected (directly or indirectly) to at least one relation stereotyped as «Mediation»

Relator forbidden 1

C2: The sum of the minimum cardinalities of the opposite ends of the mediations connected (directly or indirectly) to the «Relator» must be greater or equal to 2.

Relator application 2

C3: A «Relator» cannot have an identity providerKind», «Collective», «Quantity», «Relator», «Mode» and «Quantity») as its direct or indirect super-type.

Relator forbidden 2

C4: A «Relator» cannot have types that inherit identitySubkind», «Role» and «Phase») as its direct or indirect super-type.

Relator forbidden 3

C5: A «Relator» cannot have types that aggregate individuals with different identity principlesCategory», «RoleMixin» and «Mixin») as its direct or indirect subtypes.

Relator forbidden 5

C6: As a rigid type, a «Relator» cannot have any anti-rigid type («Role», «RoleMixin» and «Phase») as its direct or indirect super-type.

Relator forbidden 4

Common questions

Ask us some question if something is not clear …

Examples

EX1: Conceptual model about the Catholic Clergy (see more):

Example Catholic Clergy

EX2: Fragment of a conceptual model representing the worldview of a possible parking lot management system (see more):

Example Parking Lot

EX3: UFO-S fragment focused on service offering (see more):

Example UFO-S

EX4: Fragment of a conceptual model about the human genome (see more):

Example Human Genome