DocumentHasId

Description

An ID (hasID) is assigned to a document (hasDocument). A company specific COMPANY ID ASSIGNMENT CLASS is assumed to exist. This class is a specialization of the JORD’s RDL class IDENTIFIER.

Definition

A document (x1) has the ID (x2).

../../_images/DocumentHasId.svg
DocumentHasId(x1, x2) <->
    ClassOfInformationObject(x1) &
    ExpressString(x2) &
    exists u exists jord:Identifier(
        ClassOfClassOfIdentification(u) &
        ClassOfClassOfIdentification(jord:Identifier) &
        MMT:ClassifiedIdentificationOfClassOfIndividual(x1, x2, u) &
        P7:SpecializationTemplate(u, jord:Identifier)) .

Roles

  1. hasDocument
  2. hasId

Restrictions

  • Role filler of hasDocument must have entity type ClassOfInformationObject.
  • Role filler of hasId must have entity type EXPRESS_String.
  • One of:
    • Role filler of hasDocument must be a specialization of Document.
    • Role filler of hasDocument must be used as the role filler of hasDocument with respect to the ThisIsADocument pattern.