Skip to content

Suggestions from January review on §7 #201

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

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Suggestions from January review on §7 #201

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
27762ce
improve section on generalized RDF
pchampin Apr 23, 2025
0c372d0
improve definitions of symmetric/generalized RDF
pchampin Apr 23, 2025
f7dbb6e
Apply suggestions from code review
pchampin Apr 25, 2025
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
41 changes: 25 additions & 16 deletions spec/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1511,61 +1511,70 @@ <h2>Fragment Identifiers</h2>
same primary resource.</p>
</section>

<section id="section-generalized-rdf" class="informative">
<section id="section-generalizations-of-rdf" class="informative">
<h2>Generalizations of RDF Triples, Graphs, and Datasets</h2>

<p>It is sometimes convenient to loosen the requirements
on <a>RDF triples</a>. For example, the completeness
of the RDFS entailment rules is easier to show with
a notion of symmetric RDF triples.</p>

<section id="section-symmetric-rdf">
<h3>Symmetric RDF</h3>
<p>
A <dfn class="export">symmetric RDF triple</dfn> allows the subject to be
any <a>RDF term</a> that is allowed in the object position, one of
an <a>IRI</a>,
an <a>IRI</a>,
a <a>blank node</a>,
a <a>literal</a>
or a <a>triple term</a>.
a <a>literal</a>,
or a <a>triple term</a>
(which may itself be a symmetric RDF triple).
A <dfn class="export">symmetric RDF graph</dfn> is a set of symmetric RDF triples.
A <dfn class="export">symmetric RDF dataset</dfn>
comprises a distinguished symmetric RDF graph, and zero
or more pairs that each associate an <a>IRI</a> or a <a>blank node</a>
with a symmetric RDF graph.</p>

<p>Symmetric RDF triples, graphs, and datasets differ
from standard normative RDF <a>triples</a>,
from standard, normative RDF <a>triples</a>,
<a data-lt="RDF graph">graphs</a>, and
<a data-lt="RDF dataset">datasets</a>
only by allowing <a>IRIs</a>,
<a>blank nodes</a>,
<a>literals</a>,
or <a>triple terms</a>
and <a>triple terms</a>
in the subject and object positions.</p>
</section>

<section id="section-generalized-rdf">
<h3>Generalized RDF</h3>
<p>A <dfn class="export">generalized RDF triple</dfn> is a triple having a subject,
a predicate, and an object, where each can be an <a>IRI</a>, a
<a>blank node</a>, a
<a>triple term</a>, or a
<a>literal</a>. A
<dfn class="export">generalized RDF graph</dfn>
a predicate, and an object, where each can be an <a>IRI</a>,
a <a>blank node</a>,
a <a>literal</a>,
or a <a>triple term</a>
(which may itself be a generalized RDF triple).
A <dfn class="export">generalized RDF graph</dfn>
is a set of generalized RDF triples. A
<dfn class="export">generalized RDF dataset</dfn>
comprises a distinguished generalized RDF graph, and zero
or more pairs each associating an <a>IRI</a>,
a <a>blank node</a>,
a <a>triple term</a>, or
a <a>literal</a>
a <a>literal</a>,
or a <a>triple term</a>
(which may itself be a generalized RDF triple),
to a generalized RDF graph.</p>

<p>Generalized RDF triples, graphs, and datasets differ
from standard normative RDF <a>triples</a>,
from standard, normative RDF <a>triples</a>,
<a data-lt="RDF graph">graphs</a>, and
<a data-lt="RDF dataset">datasets</a> only
by allowing <a>IRIs</a>,
<a>blank nodes</a>,
<a>triple terms</a>, and
<a>literals</a> to appear
<a>literals</a>, and
<a>triple terms</a> to appear
in any position, i.e., as subject, predicate, object, or graph name.</p>
</section>

<p class="note" id="note-generalized-rdf">Any user of
symmetric or generalized RDF triples, graphs, or datasets needs to be
Expand Down
Loading