DocumentIsOfDocumentClass

Description

Information that a particular hasDocument belongs to a given hasDocumentClass is recorded. This is done by using the template SpecializationOfClassOfIndividual because documents are of a class entity type themselves.

Definition

A document (x1) is of a document class (x2).

../../_images/DocumentIsOfDocumentClass.svg
DocumentIsOfDocumentClass(x1, x2) <->
    ClassOfInformationObject(x1) &
    ClassOfInformationObject(x2) &
    MMT:SpecializationOfClassOfIndividual(x1, x2) .

Roles

  1. hasDocument
  2. hasDocumentClass

Restrictions

  • Role filler of hasDocument must have entity type ClassOfInformationObject.
  • Role filler of hasDocumentClass 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.
  • One of:
    • Role filler of hasDocumentClass must be classified as DocumentClass.
    • Role filler of hasDocumentClass must be used as the role filler of hasThis with respect to the ThisIsADocumentClass pattern.