From 90135d4505c2ec879a470d2f74bf22d9d2cea6ca Mon Sep 17 00:00:00 2001
From: Andy Seaborne <andy@apache.org>
Date: Fri, 3 Jul 2026 21:40:41 +0100
Subject: [PATCH 1/3] Illustration of role triples in SRL/RDF

---
 shacl12-rules/index.html | 61 ++++++++++++++++++++++++++++------------
 1 file changed, 43 insertions(+), 18 deletions(-)

diff --git a/shacl12-rules/index.html b/shacl12-rules/index.html
index 5c206451..aeb9dca6 100644
--- a/shacl12-rules/index.html
+++ b/shacl12-rules/index.html
@@ -1695,43 +1695,60 @@ <h3>RDF Rules Syntax</h3>
     [
       rdf:type srl:Rule;
       srl:body (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o ; ]
+        [ srl:triplePattern 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o ; ]
+        ]
       ) ;
       srl:head (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object :o ; ]
+        [ srl:tripleTemplate 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object :o ; ]
+        ]
       )
     ]
     [
       rdf:type srl:Rule ;
       srl:body (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o1 ; ]
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o2 ; ]
+        [ srl:triplePattern 
+           [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o1 ; ]
+        ] 
+        [ srl:triplePattern 
+           [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o2 ; ]
+        ]
       ) ;
       srl:head (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object :o ; ]
+        [ srl:tripleTemplate 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object :o ; ]
+        ]
       )
     ]
     [
       rdf:type srl:Rule ;
       srl:body (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object [ srl:varName "o" ] ; ]
-        [
-          srl:filter [
-            sparql:less-than (
-              [ srl:varName "o" ]
-              18
-            )
+        [ srl:triplePattern 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object [ srl:varName "o" ] ; ]
+        ]
+        [ srl:triplePattern [
+            srl:filter [
+              sparql:less-than (
+                [ srl:varName "o" ]
+                18
+              )
+            ]
           ]
         ]
       ) ;
       srl:head (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object :o ; ]
+        [ srl:tripleTemplate 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object :o ; ]
+        ]
       )
     ]
     [
       rdf:type srl:Rule ;
       srl:body (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o ; ]
+        [ srl:triplePattern 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o ; ]
+        ]
         [
           srl:assign [
             srl:assignValue 18 ;
@@ -1740,16 +1757,22 @@ <h3>RDF Rules Syntax</h3>
         ]
       ) ;
       srl:head (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object [ srl:varName "o" ] ; ]
+        [ srl:tripleTemplate 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object [ srl:varName "o" ] ; ]
+        ]
       )
     ]
     [
       rdf:type srl:Rule ;
       srl:body (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o ; ]
+        [ srl:triplePattern 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :p ; srl:object :o ; ]
+        ]
         [
           srl:not (
-            [ srl:subject [ srl:varName "s" ] ;     srl:predicate :p ;     srl:object [ srl:varName "o" ] ; ]
+            [ srl:triplePattern 
+              [ srl:subject [ srl:varName "s" ] ; srl:predicate :p ; srl:object [ srl:varName "o" ] ; ]
+            ]
             [
               srl:filter [
                 sparql:less-than (
@@ -1762,7 +1785,9 @@ <h3>RDF Rules Syntax</h3>
         ]
       ) ;
       srl:head (
-        [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object [ srl:varName "o" ] ; ]
+        [ srl:tripleTemplate 
+          [ srl:subject [ srl:varName "x" ] ; srl:predicate :q ; srl:object [ srl:varName "o" ] ; ]
+        ]
       )
     ]
   ) .

From c55fc3e36d16adeb0a4b03d483dbbcba25645998 Mon Sep 17 00:00:00 2001
From: Andy Seaborne <andy@apache.org>
Date: Fri, 3 Jul 2026 22:41:28 +0100
Subject: [PATCH 2/3] Fix href to dfn-shape-rules-document

---
 shacl12-rules/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shacl12-rules/index.html b/shacl12-rules/index.html
index aeb9dca6..e489cc02 100644
--- a/shacl12-rules/index.html
+++ b/shacl12-rules/index.html
@@ -2286,7 +2286,7 @@ <h3>Escape Sequences</h3>
 
         <p>
           There are three forms of escapes used in 
-          <a href="#dfn-shape-rules-language-document">Shape Rules documents</a>:
+          <a href="#dfn-shape-rules-document">Shape Rules documents</a>:
         </p>
 
         <ul>

From 63a19ed6c2732f6f3ff4a202e384957aaa9e0112 Mon Sep 17 00:00:00 2001
From: Andy Seaborne <andy@apache.org>
Date: Sun, 5 Jul 2026 12:03:42 +0100
Subject: [PATCH 3/3] Algorithm CSS

---
 shacl12-rules/index.html | 36 ++++++++++++++++++++++++------------
 shacl12-rules/style.css  |  9 ---------
 2 files changed, 24 insertions(+), 21 deletions(-)

diff --git a/shacl12-rules/index.html b/shacl12-rules/index.html
index e489cc02..7bddfef8 100644
--- a/shacl12-rules/index.html
+++ b/shacl12-rules/index.html
@@ -73,13 +73,6 @@
     <link rel="stylesheet" href="style.css"/>
 
     <style>
-      .algorithm {
-          /* <pre> written as CSS
-          font-family: monospace;
-          white-space: pre;
-          */
-          color: #444;
-      }
 
       .grammarTable {
           font-size: 12px;
@@ -125,7 +118,25 @@
           counter-reset: example;
       }
 
-      /* Block to go inside <aside> "example" */
+      .algorithm {
+          background:        #fafafa;
+          border:            1px solid #c0c0c0 ;
+          border-left-width: .5em;
+          margin:            1em;
+
+          padding:           0;
+          padding-left:      0.5em;
+          padding-right:     0.5em;
+      }
+      .darkmode .algorithm {
+          background:        #808080 ;
+          border-color:      #aaaaaa ;
+      }
+
+
+      
+      
+       /* Block to go inside <aside> "example" */
 
       .block {
           color: #666666 ;
@@ -144,10 +155,11 @@
 
       aside.example {
           padding: 0 ;
-          padding-left: 0.5em;
-          padding-right: 0.5em;
-          margin-bottom: 0;
-          padding-bottom:0; }
+          padding-left:   0.5em;
+          padding-right:  0.5em;
+          margin-bottom:  0;
+          padding-bottom: 0;
+      }
 
       .ex-data                { background: #aaccaa; }
       .ex-data::before        { content: "Data"; }
diff --git a/shacl12-rules/style.css b/shacl12-rules/style.css
index b1b9b9e3..93c8a5dc 100644
--- a/shacl12-rules/style.css
+++ b/shacl12-rules/style.css
@@ -24,15 +24,6 @@ td {
     vertical-align: top;
 }
 
-.algorithm {
-    background: #fafafc;
-    border-left-style: solid;
-    border-left-width: .5em;
-    border-color: #c0c0c0;
-    margin-bottom: 16px;
-    padding: 8px;
-}
-
 .arg {
     font-weight: bold;
     color: #000080;