Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

turn 'distinguishable' paragraph into a note #174

Merged
merged 1 commit into from
Mar 24, 2025
Merged

turn 'distinguishable' paragraph into a note #174

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 7 additions & 8 deletions spec/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -615,14 +615,6 @@ <h3>RDF Terms</h3>
<a>blank nodes</a>, and <a>triple terms</a> are collectively known as
<span id="dfn-rdf-terms"><!-- obsolete term--></span><dfn data-lt="rdf term">RDF terms</dfn>.</p>

<p><a>IRIs</a>, <a>literals</a>,
<a>blank nodes</a>, and <a>triple terms</a> are distinct and distinguishable.
For example, a literal with the string <code>http://example.org/</code> as
its <a>lexical form</a>
is not equal to the IRI <code>http://example.org/</code>,
nor to a blank node with the <a>blank node identifier</a>
<code>http://example.org/</code>.</p>

<p><dfn>RDF term equality</dfn>:
Two [=RDF terms=] |t| and <var>t'</var> are equal (the same [=RDF term=]) if and only if
one of the following four conditions holds:</p>
Expand All @@ -634,6 +626,13 @@ <h3>RDF Terms</h3>
<li>|t| and <var>t'</var> are [=triple terms=] that are [=triple equality|equal=] (per [=triple equality=]).</li>
</ul>

<aside class="note">
From the definition above of RDF term equality, it follows that terms of different kinds
([=IRI=], [=literal=], [=blank node=] or [=triple term=])
are always distinguishable, even if they are otherwise based on the same [=string=].
For example, the IRI `http://example.org/` is not equal to a literal whose [=lexical form=] is `http://example.org/`.
</aside>

<p>The set of <span id="dfn-nodes"><!-- obsolete term--></span><dfn data-lt="node">nodes</dfn> of an <a>RDF graph</a>
is the set of <a>subjects</a> and <a>objects</a> of the <a>asserted triples</a> of the graph.
It is possible for a [=predicate=] [=IRI=] to also occur as a [=node=] in
Expand Down
Loading