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.
ThisIsADocumentClass(x1)<->
ClassOfInformationObject(x1) &
exists jord:DocumentClass(
ClassOfClassOfIndividual(jord:DocumentClass) &
MMT:ClassificationOfClassOfIndividual(x1, jord:DocumentClass)) .
Roles
- hasThis
Restrictions
Role filler of hasThis must have entity type ClassOfInformationObject.