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

Так это и раньше было, только в другом виде (в онтологию включали constraints/аксиомы и предполагался вывод с их участием — и было два языка в паре: язык "онтологических данных" и "язык онтологических операций", причём "язык онтологических операций" подразумевал, что на нём можно и данные выразить. Все эти пары MOF/UML и OCL). Но да, всё к стрелочкам. При этом сами стрелочки появляются над объектами, в этом закавыка — утром таки деньги, а вечером стулья ))) В унивалентных основаниях математики они эту проблему вроде решили, затем сразу признали freedom of logic, что так никто думать-рассуждать не будет )))