FpoIsDepictedOnPidWithSymbol

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).

../../_images/FpoIsDepictedOnPidWithSymbol.svg
FpoIsDepictedOnPidWithSymbol(x1, x2, x3) <->
    FunctionalPhysicalObject(x1) &
    ClassOfInformationObject(x2) &
    ClassOfInformationRepresentation(x3) &
    exists jord:Symbol(
        RepresentationForm(jord:Symbol) &
        MMT:RepresentationOfIndividualOnDocument(x1, x2, x3, jord:Symbol)) .

Roles

  1. hasFpo
  2. hasOnPid
  3. hasSymbol

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.
  • 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.