Стандартный оператор RDF состоит из:
SUBJECT PREDICATE OBJECT
Думайте об этом как об утверждении факта.
ROVER IS-A DOG
Теперь, что если ситуация, которая у вас под рукой, действительно,
GEORGE SAYS-THAT 'ROVER IS-A DOG'
В RDF вы пишете это как
STMTID IS-A STATEMENT
STMTID HAS-SUBJECT ROVER
STMTID HAS-PREDICATE IS-A
STMTID HAS-OBJECT DOG
GEORGE SAYS-THAT STMTID
Первые четыре тройки здесь, формально и официально, являются овеществлением первой.
Обратите внимание, что первоначальное утверждение НЕ в модели, поскольку цель овеществления состоит в том, чтобы удержаться от его утверждения, а скорее поговорить об этом косвенно.
Обратите внимание, что я исключил IRI из ROVER и друзей для ясности.
Для знатоков в аудитории:
Есть множество вещей, которые вы можете делать с овеществлением. Как указано выше, вы можете использовать его, чтобы описать утверждение, не заявляя его, таким образом, удерживая его от вывода.
Вы также можете использовать его для добавления дополнительных фактов, таких как происхождение, к заявлению. В этом случае у вас есть оригинальная тройка, а также овеществление. Тем не менее, я только что получил длинное объяснение от того, кто, кажется, знает много о RDF (один из лидеров спецификации SPARQL.) ') не предполагается использовать вместе с утверждением самой тройки. Если вы посмотрите на комментарии к этому ответу, вы увидите, что его мнение не является универсальным, но вы можете помнить об этом.