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

Уточню: речь не о модификации метамодели - о том, что с помощью формальных описаний метамодельного характера онтологии могут стать менее кривыми. И возможно заметно менее кривыми. Но может это фантазии :)