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

Use RDF Dataset definition from RDF Concepts #152

Merged
merged 5 commits into from
Oct 31, 2024
Merged

Use RDF Dataset definition from RDF Concepts #152

Changes from 3 commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
09ba854
Use RDF Dataset definition from RDF Concepts
rubensworks Aug 28, 2024
083c88e
Restore sparqlDataset section and informally repeat RDF dataset def
rubensworks Sep 18, 2024
5293324
Replace dataset examples with TriG
rubensworks Sep 18, 2024
77b9f72
Allow graphs in dataset to be identified by blank nodes
rubensworks Sep 18, 2024
44d060e
Update spec/index.html
rubensworks Sep 19, 2024
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
59 changes: 28 additions & 31 deletions spec/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3149,25 +3149,20 @@ <h3>Examples of RDF Datasets</h3>
<div class="exampleGroup">
<b>Example 1:</b>
<pre class="data nohighlight">
# <b>Default graph</b>
PREFIX dc: &lt;http://purl.org/dc/elements/1.1/&gt;

&lt;http://example.org/bob&gt; dc:publisher "Bob" .
&lt;http://example.org/alice&gt; dc:publisher "Alice" .
</pre>
<pre class="data nohighlight">
# <b>Named graph: http://example.org/bob</b>
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;

_:a foaf:name "Bob" .
_:a foaf:mbox &lt;mailto:[email protected]&gt; .
</pre>
<pre class="data nohighlight">
# <b>Named graph: http://example.org/alice</b>
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;
GRAPH &lt;http://example.org/bob&gt; {
_:a foaf:name "Bob" .
_:a foaf:mbox &lt;mailto:[email protected]&gt; .
}

_:a foaf:name "Alice" .
_:a foaf:mbox &lt;mailto:[email protected]&gt; .
GRAPH &lt;http://example.org/alice&gt; {
_:a foaf:name "Alice" .
_:a foaf:mbox &lt;mailto:[email protected]&gt; .
}
</pre>
</div>
<p>In this example, the default graph contains the names of the publishers of two named
Expand All @@ -3184,28 +3179,23 @@ <h3>Examples of RDF Datasets</h3>
</p>
<div class="exampleGroup">
<pre class="data nohighlight">
# <b>Default graph</b>
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;

_:x foaf:name "Bob" .
_:x foaf:mbox &lt;mailto:[email protected]&gt; .

_:y foaf:name "Alice" .
_:y foaf:mbox &lt;mailto:[email protected]&gt; .
</pre>
<pre class="data nohighlight">
# <b>Named graph: http://example.org/bob</b>
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;

_:a foaf:name "Bob" .
_:a foaf:mbox &lt;mailto:[email protected]&gt; .
</pre>
<pre class="data nohighlight">
# <b>Named graph: http://example.org/alice</b>
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;
GRAPH &lt;http://example.org/bob&gt; {
_:a foaf:name "Bob" .
_:a foaf:mbox &lt;mailto:[email protected]&gt; .
}

_:a foaf:name "Alice" .
_:a foaf:mbox &lt;<a href="mailto:[email protected]">mailto:[email protected]</a>&gt; .
GRAPH &lt;http://example.org/alice&gt; {
_:a foaf:name "Alice" .
_:a foaf:mbox &lt;mailto:[email protected]&gt; .
}
</pre>
<p>In an RDF merge, blank nodes in the merged graph are not shared with blank nodes from
the graphs being merged.</p>
Expand Down Expand Up @@ -7882,16 +7872,23 @@ <h2>Definition of SPARQL</h2>
abstract query is then evaluated on an RDF dataset.</p>
<section id="initDefinitions">
<h3>Initial Definitions</h3>
rubensworks marked this conversation as resolved.
Show resolved Hide resolved
<section id="activeGraph">
<h4>Active Graph</h4>
<section id="sparqlDataset">
<h4>RDF Dataset</h4>
<div>
<p>The concept of an <a data-cite="RDF12-CONCEPTS#dfn-rdf-dataset">RDF Dataset</a> is defined in [[RDF12-CONCEPTS]].</p>
<p>For the following definitions, we capture each RDF dataset as a set:<br>
{ G, (&lt;u<sub>1</sub>&gt;, G<sub>1</sub>), (&lt;u<sub>2</sub>&gt;, G<sub>2</sub>), . .
. (&lt;u<sub>n</sub>&gt;, G<sub>n</sub>) }<br>
rubensworks marked this conversation as resolved.
Show resolved Hide resolved
where G and each G<sub>i</sub> are graphs, and each &lt;u<sub>i</sub>&gt; is an IRI or blank node. Each
&lt;u<sub>i</sub>&gt; is distinct.</p>
<p>G is called the default graph. (&lt;u<sub>i</sub>&gt;, G<sub>i</sub>) are called named
graphs.</p>
</div>
<div class="defn">
<p><b>Definition: <span id="defn_ActiveGraph">Active Graph</span></b></p>
<p>The <b>active graph</b> is the graph from the dataset used for basic graph pattern
matching.</p>
</div>
</section>
<section id="rdfDatasetMerge">
<h4>RDF Dataset Merge</h4>
<div class="defn">
<div id="defn_RDFDatasetMerge">
<b>Definition: RDF Dataset Merge</b>
Expand Down
Loading