diff --git a/spec/index.html b/spec/index.html index 7868be7..ecacc63 100644 --- a/spec/index.html +++ b/spec/index.html @@ -395,6 +395,26 @@

Triple Terms and Reification

statement that contradicts another statement, whether asserted or not.

+

Note that a triple term may also have another triple term as an object.

+ +
+

This document advises the reader to understand that + an assertion on a reified triple + is an assertion on an asserted triple of the same form, + if such a triple occurs in a graph as both a reified triple + and an asserted triple. + However, this understanding is not backed by the model-theoretic semantics + as laid out in RDF 1.2 Semantics; + i.e., co-reference is not defined via a model-theoretic formalisation of + denotation, + but relies on an operational semantics of + identification, + established via best practices, examples, and convention + in this document, RDF 1.2 Primer, and RDF 1.2 Note on triple terms (tbd).

+
+ + +