Это будет понятнее с примером. Предположим, что части имеют URI.
Рассмотрим простое утверждение S1: Прозрачная вода
Рассмотрим другое утверждение S2: Он-Верит- (Вода-Прозрачен)
Как можно написать утверждение S2 как He-Believes-S1 , используя RDF? Есть ли способ в каком-либо представлении знаний (RDF или другом) или логической структуре, который позволяет создавать такие утверждения, как S2, которые получают некоторые части из предыдущих утверждений?