A.6.REL:5.5 - Description and publication recursion through the relation-object architecture
Let R1 be the already individuated second MaintenanceInspectionAssignment occurrence from 5.1.
- An assignment-occurrence description episteme
E1hasR1as its exact EntityOfConcern. In the reusable C.2.1EpistemeConstitutionRelationSignature, the declaration-local SlotKindEntityOfConcernSlotnames the entity-of-concern participant meaning. In a card representation ofE1, the source fieldentityOfConcernRefcorresponds to that SlotKind only through a declared representation correspondence; itsU.EntityRefvalue is the participant designation that resolves toR1. Neither spelling nor containment identifies the field, SlotKind, designation, or occurrence. - A second episteme
E2contains the result of evaluation work concerning the adequacy ofE1. Its exact EntityOfConcern isE1, notR1. A field in a reusable card or other representation may carry aU.EntityRefdesignatingE1; it corresponds toEntityOfConcernSlotonly through a declared representation correspondence. The two epistemes therefore have different EntitiesOfConcern and retain separate C.2.1 identities:E1describesR1, whileE2evaluates the adequacy ofE1. - Under a publication-relation occurrence, the current edition of
E1is available to a declared audience and use. The selected episteme edition is an actual participant of that publication relation under the publication pattern’s participant meaning. The publication form and its representation elements retain their own kinds and correspond to the published episteme only through the declared publication and representation relations.
A system performing revision work can establish another edition of E1 or E2; a system performing publication work can establish another publication-relation occurrence for a selected edition. R1 continues or ceases only as the A.2.1 obtaining predicate and occurrence-identity rule determine from the assignment facts. This recursive case preserves the distinction: a description episteme can itself become the actual participant or EntityOfConcern of another relation without becoming the relation occurrence it describes.