Без заголовка

Есть две теории, обе верные: -- разрабатываемые языки и их нотации должны быть как можно ближе к "фолк онтологии"; -- разрабатываемые языки и их нотации должны быть как можно более выразительны (тут можно пообсуждать слово "выразительны", обычно выделяется два значения: 1. в малом числе знаков много чего сказано и 2. необходимые операции проводятся легко). ISO 15926 пошел сразу по второму пути. Так, чтобы легче было выражать систему поставок продукции, там принята 4D модель времени, что критикуется очень многими людьми (которым, например, эти поставки продукции неинтересны, а интересны какие-то другие аспекты моделирования). Есть предположение, что моноидальные диаграммы могли бы быть полезными для изображения OIM из ISO 15926 (algebraic_brain может рассказать более подробно, поскольку это его мысль, которую я пока слабо понимаю). Кроме того, Matthew West в одной из презентаций будущее стандарта связывал с представлением его не только в виде EXPRESS, FOL или OWL, но и с использованием аппарата теории категорий. Но это другой аспект использования. Основная фишка в том, что моноидальные диаграммы позволяют алгебраическую/логическую сущность сетки понятий выразить геометрически так, что теоретически они будут эквивалентны. Это будет означать возможность геометрических преобразований таких, которые отвечают алгебраическим/логическим.