Another way to do the same thing

[vvagr]

ISO 15926 Part 2 suggests an other way to solve the same problem - namely to declare a class of class DocumentKind to contain classes for classification of Document class.

Part 2 defines:

5.2.3.2 class_of_classification
A class_of_classification is a class_of_relationship whose members are members of classification.
A class_of_classification

Comments

Вопрос про логику первого порядка

[vvagr]

Я пока что понял примерно следующее