Без заголовка
Идея, на мой взгляд, самоочевидная же. И что самое интересное, в таком контексте многочисленные попытки описаний онтологий предметных областей на основе статичных формальных моделей как бы сразу обречены. Ну, разве, что представляют интерес как эксперименты с оптимальным форматом организации знаний, не более...