StreamIsSpecifiedOnDocument

Description

A stream is specified via a list of attributes or alike. This specification is represented on a document. The document is not necessarily a data sheet or something comparable. It can also be a simulation file.

Definition

A stream (x1) is referenced on a document (x2).

../../_images/StreamIsSpecifiedOnDocument.svg
StreamIsSpecifiedOnDocument(x1, x2) <->
    edm:ClassOfStream(x1) &
    ClassOfInformationObject(x2) &
    exists u exists jord:Specification(
        ClassOfInformationRepresentation(u) &
        ClassOfClassOfInformationRepresentation(jord:Specification) &
        MMT:RepresentationOfClassOfIndividualOnDocument(x1, x2, u, jord:Specification)) .

Roles

  1. hasStream
  2. hasDocument

Restrictions

  • Role filler of hasStream must have entity type EdmClassOfStream.
  • Role filler of hasDocument must have entity type ClassOfInformationObject.
  • One of:
    • Role filler of hasDocument must be a specialization of document.
    • Role filler of hasDocument must be used as the role filler of hasThis with respect to the ThisIsADocument pattern.