From b163a60bee2d57c962edc21d787830267ce883c1 Mon Sep 17 00:00:00 2001 From: Andy Seaborne Date: Thu, 31 Oct 2024 17:41:58 +0000 Subject: [PATCH] Put captured RDF Dataset text in a box --- spec/index.html | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/spec/index.html b/spec/index.html index e2b94df..c0d5fe9 100644 --- a/spec/index.html +++ b/spec/index.html @@ -7878,11 +7878,13 @@

Definition of SPARQL

Initial Definitions

RDF Dataset

-
-

The concept of an RDF Dataset is defined in [[RDF12-CONCEPTS]].

-

For the following definitions, we capture each RDF dataset as a set:
- { G, (<u1>, G1), (<u2>, G2), - ... (<un>, Gn) }
+

The concept of an RDF Dataset is defined in [[RDF12-CONCEPTS]].

+

For the following definitions, we capture each RDF dataset as a set:

+
+

+ { G, (<u1>, G1), (<u2>, G2), + ... (<un>, Gn) } + where G and each Gi are graphs, and each <ui> is an IRI or blank node. Each <ui> is distinct.

G is called the default graph. (<ui>, Gi) are called named