Под абстракцией я подразумеваю обработку сложной структуры как более простой структуры: в данном случае обработка графа как узла.
Включают ли какие-либо ветви теории графов (или разработки веб-онтологий) конструкцию, которая можетвключить граф в другой граф как узел?
Пара вариантов использования для этого будет выражать убеждения в карте ума (ДЖОН ----> ВЕРИТ ----->> [другой граф]),или выражая уверенность в языках веб-онтологий.
Насколько я знаю, в OWL нам нужно «подделать» представление подграфа (тройки), подключив начальный узел отдельно к узлу, который представляет тройку, затемсоединяя это с тремя узлами (субъект, отношение, объект).
Спасибо, Луиза