AssetIsCatalogItemFromCatalog

Description

Asset (x1) is classified by the class of arranged individual (x2). This class is represented in a catalog. The representation is modelled with the according template class of the MMT-group, as is the specialization of the own catalog from the jord item. The own catalog (x3) is made explicit in the signature of the modelling pattern.

Definition

The asset (x1) is classified by a class of arranged individual (x2) that is represented in a catalog (x3).

../../_images/AssetIsCatalogItemFromCatalog.svg
AssetIsCatalogItemFromCatalog(x1, x2, x3) <->
    MaterializedPhysicalObject(x1) &
    ClassOfArrangedIndividual(x2) &
    ClassOfInformationObject(x3) &
    MMT:ClassificationOfIndividual(x1, x2) &
    exists u1 exists u2 exists u3 exists jord:Catalogue(
        ClassOfInformationRepresentation(u1) &
        ClassOfClassOfInformationRepresentation(u2) &
        ClassOfInformationObject(jord:Catalogue) &
        MMT:RepresentationOfClassOfIndividualOnDocument(x2, x3, u1, u2) &
        MMT:SpecializationOfClassOfIndividual(x3, jord:Catalogue)) .

Roles

  1. hasAsset
  2. hasCatalogItem
  3. hasCatalog

Restrictions

  • Role filler of hasAsset must have entity type MaterializedPhysicalObject.
  • Role filler of hasCatalogItem must have entity type ClassOfArrangedIndividual.
  • Role filler of hasCatalog must have entity type ClassOfInformationObject.