From 27762cebbacab076333256fbf969a2f23b223558 Mon Sep 17 00:00:00 2001 From: Pierre-Antoine Champin Date: Thu, 24 Apr 2025 01:02:17 +0200 Subject: [PATCH 1/3] improve section on generalized RDF @afs' suggestions #18 and #19 https://gist.github.com/afs/f71020019fc33b4ded3e105339c6a655 --- spec/index.html | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/spec/index.html b/spec/index.html index 03e64f9..88e725b 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1511,7 +1511,7 @@

Fragment Identifiers

same primary resource.

-
+

Generalizations of RDF Triples, Graphs, and Datasets

It is sometimes convenient to loosen the requirements @@ -1519,6 +1519,8 @@

Generalizations of RDF Triples, Graphs, and Datasets

of the RDFS entailment rules is easier to show with a notion of symmetric RDF triples.

+
+

Symmetric RDF

A symmetric RDF triple allows the subject to be any RDF term that is allowed in the object position, one of @@ -1533,7 +1535,7 @@

Generalizations of RDF Triples, Graphs, and Datasets

with a symmetric RDF graph.

Symmetric RDF triples, graphs, and datasets differ - from standard normative RDF triples, + from standard, normative RDF triples, graphs, and datasets only by allowing IRIs, @@ -1541,7 +1543,10 @@

Generalizations of RDF Triples, Graphs, and Datasets

literals, or triple terms in the subject and object positions.

+
+
+

Generalized RDF

A generalized RDF triple is a triple having a subject, a predicate, and an object, where each can be an IRI, a blank node, a @@ -1558,7 +1563,7 @@

Generalizations of RDF Triples, Graphs, and Datasets

to a generalized RDF graph.

Generalized RDF triples, graphs, and datasets differ - from standard normative RDF triples, + from standard, normative RDF triples, graphs, and datasets only by allowing IRIs, @@ -1566,6 +1571,7 @@

Generalizations of RDF Triples, Graphs, and Datasets

triple terms, and literals to appear in any position, i.e., as subject, predicate, object, or graph name.

+

Any user of symmetric or generalized RDF triples, graphs, or datasets needs to be From 0c372d0bbb9c77a0d26ce93d6380f5b9adbccd7d Mon Sep 17 00:00:00 2001 From: Pierre-Antoine Champin Date: Thu, 24 Apr 2025 01:13:52 +0200 Subject: [PATCH 2/3] improve definitions of symmetric/generalized RDF @franconi suggested to define symmetric/generalized RDF *terms* but I found it easier to refer "triple terms" to the definition of "symmetric/generalized RDF triple". Also, I made the definitions more homogeneous. --- spec/index.html | 29 ++++++++++++++++------------- 1 file changed, 16 insertions(+), 13 deletions(-) diff --git a/spec/index.html b/spec/index.html index 88e725b..1b32724 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1524,10 +1524,11 @@

Symmetric RDF

A symmetric RDF triple allows the subject to be any RDF term that is allowed in the object position, one of - an IRI, + an IRI, a blank node, - a literal - or a triple term. + a literal, + or a triple term, + which may itself be a symmetric RDF triple. A symmetric RDF graph is a set of symmetric RDF triples. A symmetric RDF dataset comprises a distinguished symmetric RDF graph, and zero @@ -1541,25 +1542,27 @@

Symmetric RDF

only by allowing IRIs, blank nodes, literals, - or triple terms + and triple terms in the subject and object positions.

Generalized RDF

A generalized RDF triple is a triple having a subject, - a predicate, and an object, where each can be an IRI, a - blank node, a - triple term, or a - literal. A - generalized RDF graph + a predicate, and an object, where each can be an IRI, + a blank node, + a literal, + or a triple term, + which may itself be a generalized RDF triple. + A generalized RDF graph is a set of generalized RDF triples. A generalized RDF dataset comprises a distinguished generalized RDF graph, and zero or more pairs each associating an IRI, a blank node, - a triple term, or - a literal + a literal, + or a triple term, + which may itself be a generalized RDF triple, to a generalized RDF graph.

Generalized RDF triples, graphs, and datasets differ @@ -1568,8 +1571,8 @@

Generalized RDF

datasets only by allowing IRIs, blank nodes, - triple terms, and - literals to appear + literals, and + triple terms to appear in any position, i.e., as subject, predicate, object, or graph name.

From f7dbb6e78044f4a87c170c0dec040dd352e6f4f4 Mon Sep 17 00:00:00 2001 From: Pierre-Antoine Champin Date: Fri, 25 Apr 2025 08:31:02 +0200 Subject: [PATCH 3/3] Apply suggestions from code review Co-authored-by: Olaf Hartig --- spec/index.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/spec/index.html b/spec/index.html index 1b32724..b4f347c 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1527,8 +1527,8 @@

Symmetric RDF

an IRI, a blank node, a literal, - or a triple term, - which may itself be a symmetric RDF triple. + or a triple term + (which may itself be a symmetric RDF triple). A symmetric RDF graph is a set of symmetric RDF triples. A symmetric RDF dataset comprises a distinguished symmetric RDF graph, and zero @@ -1552,8 +1552,8 @@

Generalized RDF

a predicate, and an object, where each can be an IRI, a blank node, a literal, - or a triple term, - which may itself be a generalized RDF triple. + or a triple term + (which may itself be a generalized RDF triple). A generalized RDF graph is a set of generalized RDF triples. A generalized RDF dataset @@ -1561,8 +1561,8 @@

Generalized RDF

or more pairs each associating an IRI, a blank node, a literal, - or a triple term, - which may itself be a generalized RDF triple, + or a triple term + (which may itself be a generalized RDF triple), to a generalized RDF graph.

Generalized RDF triples, graphs, and datasets differ