Без заголовка
/// Ну, и онтологии нужны не сами по себе, а чтобы вычислять над ними. Те же самые операции. ///
Кстати, а кто-нибудь в вашей тусовке составлял список этих самых операций?
Ну типа "вот есть гиперграф, и вот нужны операции:
1) поиск максимально похожего подграфа;
… для чего нужна операция …
2) вычисление разницы (дифференциала) между подграфами;
… а ещё нужна хитрая операция …
3) "как развернуть/переподключить под-подграф в подграфе, чтобы он стал максимально похожим/конгруэнтным другому подграфу".
Я не просто так интересуюсь ;)
Правда, перечисленные хотелки больше относятся не к "чистым" древовидным онтологиям "Исаак родил Иакова", а к описаниям опредмеченных POV-based сцен ("Things+Affordances"), но это неважно.