ThisIsADocumentClass

Description

A document class is declared by classifying it by the ClassOfClassOfIndividual jord:DocumentClass from the JORD-RDL.

Definition

A document class (x1) is marked as such.

../../_images/ThisIsADocumentClass.svg
ThisIsADocumentClass(x1)<->
    ClassOfInformationObject(x1) &
    exists jord:DocumentClass(
        ClassOfClassOfIndividual(jord:DocumentClass) &
        MMT:ClassificationOfClassOfIndividual(x1, jord:DocumentClass)) .

Roles

  1. hasThis

Restrictions

Role filler of hasThis must have entity type ClassOfInformationObject.