FpoIsDepictedOnPidWithSymbolFromStandard

Description

This modelling pattern allows to express that a ‘functional physical object’ is referred to on a document that is a P&ID. Additionally, information about the type of reference is made - it is a symbolic representation. A link to the symbol in a company or software database is required.

It is assumed that, while parsing the information about the FPO from a data file, an entity for the underlying document can be found or is created in a database that contains information about documents.

Definition

An Fpo (x1) is depicted with a symbol (x3) on a P&ID (x2). The symbol is taken from a standard.

../../_images/FpoIsDepictedOnPidWithSymbolFromStandard.svg
FpoIsDepictedOnPidWithSymbolFromStandard(x1, x2, x3, x4) <->
    FunctionalPhysicalObject(x1) &
    ClassOfInformationObject(x2) &
    ClassOfInformationRepresentation(x3) &
    ClassOfInformationObject(x4) &
    exists jord:Symbol exists jord:StandardClass(
        RepresentationForm(jord:Symbol) &
        ClassOfClass(jord:StandardClass) &
        MMT:SpecializationOfClassOfIndividual(x4, x3) &
        MMT:ClassificationOfClassOfIndividual(x3, jord:StandardClass) &
        MMT:RepresentationOfIndividualOnDocument(x1, x2, x3, jord:Symbol)) .

Roles

  1. hasFpo
  2. hasOnPid
  3. hasSymbol
  4. hasStandard

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasOnPid must have entity type ClassOfInformationObject.
  • Role filler of hasSymbol must have entity type ClassOfInformationRepresentation.
  • Role filler of hasStandard must have entity type ClassOfInformationObject.
  • One of:
    • Role filler of hasOnPid must be a specialization of Document.
    • Role filler of hasOnPid must be used as the role filler of hasThis with respect to the ThisIsADocument pattern.
  • One of:
    • Role filler of hasOnPid must be a specialization of PAndIDiagram.
    • Role filler of hasOnPid must be used as the role filler of hasDocument with respect to the DocumentIsOfDocumentClass pattern.
  • Role filler of hasStandard must be a specialization of Standard.