feat: Implement sequence processing improvements for SHACL Node Expressions (Issue #484)

README.md

@@ -19,14 +19,15 @@ The WG is currently working on updated and new [SHACL](https://www.w3.org/TR/sha
 
 * [SHACL 1.2 Node Expressions](https://w3c.github.io/data-shapes/shacl12-node-expr/)
 
-#### Phase 2, after July 2025:
+#### Phase 2, now in progress since July 2025:
 
 ##### Editor's drafts
 
-* [SHACL 1.2 Inference Rules](https://w3c.github.io/data-shapes/shacl12-inf-rules/)
-* [SHACL 1.2 SHACL-SHACL](https://w3c.github.io/data-shapes/shacl12-shacl-shacl)
-* SHACL 1.2 UI - not drafted yet
-* SHACL 1.2 Profiling - not drafted yet
+* [SHACL 1.2 Overview](https://w3c.github.io/data-shapes/shacl12-overview/)
+* [SHACL 1.2 Rules](https://w3c.github.io/data-shapes/shacl12-rules/)
+* [SHACL 1.2 UI](https://w3c.github.io/data-shapes/shacl12-ui/)
+* [SHACL 1.2 Compact Syntax](https://w3c.github.io/data-shapes/shacl12-cs/)
+* [SHACL 1.2 Profiling](https://w3c.github.io/data-shapes/shacl12-profiling/)
 
 All of the above specifications are drafts that are automatically rebuilt on pushes to this repository.
 

shacl12-common/local-biblio.js

@@ -0,0 +1,109 @@
+var localBibliography = {
+  ISO24707: {
+    id: "ISO24707",
+    title: "Information technology — Common Logic (CL) — A framework for a family of logic-based languages",
+    date: "2018-07",
+    href: "https://www.iso.org/standard/66249.html",
+    status: "Published",
+    publisher: "ISO/EIC"
+  },
+  HORST04: {
+    id: "HORST04",
+    title: "Extending the RDFS Entailment Lemma",
+    authors: ["Herman J. ter Horst"],
+    date: "2004",
+    isbn: "978-3-540-30475-3",
+    href: "https://doi.org/10.1007/978-3-540-30475-3_7",
+    status: "Conference Proceeding",
+    publisher: "Springer, Berlin, Heidelberg"
+  },
+  HORST05: {
+    id: "HORST05",
+    title: "Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary",
+    authors: ["Herman J. ter Horst"],
+    date: "2005",
+    href: "https://dx.doi.org/10.2139/ssrn.3199251",
+    status: "Conference Proceeding",
+    publisher: "Journal of Web Semantics"
+  },
+  SAFETY: {
+    title: "Safety of recursive horn clauses with infinite relations",
+    href: "https://doi.org/10.1145/28659.28694",
+    authors: [
+      "R. Ramakrishnan",
+      "F. Bancilhon",
+      "A. Silberschatz"
+    ],
+    date: "1987",
+    publisher: "ACM New York"
+  },
+  SAX: {
+    title: "SAX – The Simple API for XML",
+    href: "https://accu.org/journals/overload/7/34/cornish_515/",
+    authors: ["Steve Cornish"],
+    date: "October 1999",
+  },
+  STRIPEDRDF: {
+    id: "STRIPEDRDF",
+    title: "RDF: Understanding the Striped RDF/XML Syntax",
+    editors: ["D. Brickley"],
+    date: "2001",
+    href: "http://www.w3.org/2001/10/stripes/",
+    status: "Team Submission",
+    publisher: "W3C"
+  },
+  "RDF-STAR-CG": {
+    title: "RDF-star and SPARQL-star",
+    href: "https://w3c.github.io/rdf-star/cg-spec/2021-12-17.html",
+    authors: [
+      "Olaf Hartig",
+      "Pierre-Antoine Champin",
+      "Gregg Kellogg",
+      "Andy Seaborne"
+    ],
+    rawDate: "2021-12-17",
+    status: "Final Community Group Report",
+    publisher: "W3C"
+  },
+  "RDF12-NEW": {
+    "authors": [
+        "David Wood"
+    ],
+    "href": "https://w3c.github.io/rdf-new/spec/",
+    "title": "What’s New in RDF 1.2",
+    "rawDate": "2022-01-01",
+    "status": "DNOTE",
+    "publisher": "W3C"
+  },
+  "RDF12-PRIMER": {
+    "authors": [
+        "Guus Schreiber",
+        "Yves Raimond"
+    ],
+    "href": "https://w3c.github.io/rdf-primer/spec/",
+    "title": "RDF 1.2 Primer",
+    "rawDate": "2022-01-01",
+    "status": "DNOTE",
+    "publisher": "W3C"
+  },
+ "SPARQL12-NEW": {
+    "authors": [
+        "The W3C RDF & SPARQL Working Group"
+    ],
+    "href": "https://w3c.github.io/sparql-new/spec/",
+    "title": "What’s New in SPARQL 1.2",
+    "rawDate": "2022-01-01",
+    "status": "WD",
+    "publisher": "W3C"
+  },
+  "SPARQL12-CONCEPTS": {
+    "authors": [
+        "The W3C RDF & SPARQL Working Group"
+    ],
+    "href": "https://w3c.github.io/sparql-concepts/spec/",
+    "title": "SPARQL 1.2 Concepts",
+    "rawDate": "2022-01-01",
+    "status": "WD",
+    "publisher": "W3C"
+  },
+};

shacl12-common/specifications.html

@@ -0,0 +1,46 @@
+			<h2>SHACL Specifications</h2>
+			<p>
+				This specification is part of the SHACL 1.2 family of specifications. See the <a href="https://w3c.github.io/data-shapes/shacl12-overview/">SHACL 1.2 Overview</a> for a more detailed introduction to them.
+			</p>
+			<p>
+				The specifications are as follows:
+			</p>
+			<dl>
+				<dt><a href="https://w3c.github.io/data-shapes/shacl12-overview/">SHACL 1.2 Overview</a></dt>
+				<dd>overviews the set of SHACL specifications</dd>
+				<dt><a href="https://w3c.github.io/data-shapes/shacl12-core/">SHACL 1.2 Core</a></dt>
+				<dd>defines the Core of SHACL</dd>
+				<dt><a href="https://w3c.github.io/data-shapes/shacl12-sparql/">SHACL 1.2 SPARQL Extensions</a></dt>
+				<dd>defines SPARQL-related extensions of the SHACL</dd>
+				<dt><a href="https://w3c.github.io/data-shapes/shacl12-node-expr/">SHACL 1.2 Node Expressions</a></dt>
+				<dd>defines graph expressions used to determine focus nodes in SHACL</dd>
+				<dt><a href="https://w3c.github.io/data-shapes/shacl12-rules/">SHACL 1.2 Rules</a></dt>
+				<dd>defines SHACL's methods of rule-based inference</dd>
+				<dt><a href="https://w3c.github.io/data-shapes/shacl12-ui/">SHACL 1.2 UI</a></dt>
+				<dd>defines SHACL's use for User Interface generation</dd>
+				<dt><a href="https://w3c.github.io/data-shapes/shacl12-compact-syntax/">SHACL 1.2 Compact Syntax</a></dt>
+				<dd>defines an RDF syntax for expressing SHACL concepts</dd>
+        <dt><a href="https://w3c.github.io/data-shapes/shacl12-profiling/">SHACL 1.2 Profiling</a></dt>
+				<dd>defines the use of SHACL for profiling data, including SHACL data</dd>
+			</dl>
+
+      <!--
+      <dl>
+        <dt data-transform="noSelfCite">[[[shacl12-overview]]]</dt>
+        <dd>overviews the set of SHACL specifications</dd>
+        <dt data-transform="noSelfCite">[[[shacl12-core]]]</dt>
+        <dd>defines the Core of SHACL</dd>
+        <dt data-transform="noSelfCite">[[[shacl12-sparql]]]</dt>
+        <dd>defines SPARQL-related extensions of the SHACL</dd>
+        <dt data-transform="noSelfCite">[[[shacl12-node-expr]]]</dt>
+        <dd>defines graph expressions used to determine focus nodes in SHACL</dd>
+        <dt data-transform="noSelfCite">[[[shacl12-rules]]]</dt>
+        <dd>defines SHACL's methods of rule-based inference</dd>
+        <dt data-transform="noSelfCite">[[[shacl12-cs]]]</dt>
+        <dd>defines an RDF syntax for expressing SHACL concepts</dd>
+        <dt data-transform="noSelfCite">[[[shacl12-ui]]]</dt>
+        <dd>defines SHACL's use for User Interface generation</dd>
+        <dt data-transform="noSelfCite">[[[shacl12-profiling]]]</dt>
+        <dd>defines the use of SHACL for profiling data, including SHACL data</dd>
+      </dl>
+      -->