SHACL Rules - content planning #554

afs · 2025-08-31T19:37:59Z

This is a sketch for discussion and refinement; do not merge.

Editors noted added at section 6.

afs · 2025-08-31T19:39:12Z

@simonstey @recalcitrantsupplant @robert-david

TallTed · 2025-09-15T13:27:32Z

shacl12-inf-rules/index.html

+          <p>
+            See SHACL AF <a href="https://www.w3.org/TR/shacl-af/#rules-syntax">`sh:rule`</a>, 
+            which describes <a href="https://w3c.github.io/shacl/shacl-af/index.html#TripleRule">triple rules</a>,
+            with a special case of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a>


Suggested change

with a special case of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a>

with special cases

of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a>

TallTed · 2025-09-15T13:30:37Z

shacl12-inf-rules/index.html

+            At one level, nothing needs top done because they have separate evaluation
+            and it is only a matter of whether an engine supports them or not.
+            It might be helpful to say when they happen (before 1.2 Rules - seea also defaul values)
+            and can infer if they generate infered triple. 


Suggested change

At one level, nothing needs top done because they have separate evaluation

and it is only a matter of whether an engine supports them or not.

It might be helpful to say when they happen (before 1.2 Rules - seea also defaul values)

and can infer if they generate infered triple.

At one level, nothing needs to be done because they have separate evaluation

and it is only a matter of whether an engine supports them or not.

It might be helpful to say when they happen (before 1.2 Rules — see also default values)

and can infer whether they generate inferred triple.

TallTed · 2025-09-15T13:31:12Z

shacl12-inf-rules/index.html

+          <p>@@ Discussion</p>
+          <p> Define a new rule that is another rule with some variables already set</p>
+          <ul>
+            <li>Where do the setting come from?</li>


Suggested change

<li>Where do the setting come from?</li>

<li>Where do the settings come from?</li>

TallTed · 2025-09-15T13:31:41Z

shacl12-inf-rules/index.html

+        <h2>More on evaluation</h2>
+        <div class="ednote">
+          <p>@@ Discussion</p>
+          <p>The main evaluatiuon description creates all inferred triple using 


Suggested change

The main evaluatiuon description creates all inferred triple using

The main evaluation description creates all inferred triples using

TallTed · 2025-09-15T13:32:34Z

shacl12-inf-rules/index.html

+          <p>Negation (e.g. via SPARQL `NOT EXISTS`/`EXISTS`) can allowed if 
+            the pattern is executed only one the base data graph, not including the
+            inferred graph. i.e. inferred triples are not seen. 
+            Or stratification - not seeing inferred tripels from the current stratum.


Suggested change

Negation (e.g. via SPARQL `NOT EXISTS`/`EXISTS`) can allowed if

the pattern is executed only one the base data graph, not including the

inferred graph. i.e. inferred triples are not seen.

Or stratification - not seeing inferred tripels from the current stratum.

Negation (e.g., via SPARQL `NOT EXISTS`/`EXISTS`) can be allowed if

the pattern is executed only on the base data graph, not including the

inferred graph, i.e., inferred triples are not seen.

Or stratification — not seeing inferred triples from the current stratum.

TallTed · 2025-09-15T13:33:18Z

shacl12-inf-rules/index.html

+            Assignment takes the rule lanuage outside datalog.
+            Can we define when it is "safe"? (e.g. triples involving the assignment
+            are not mentioned in the body of any other rule).


Suggested change

Assignment takes the rule lanuage outside datalog.

Can we define when it is "safe"? (e.g. triples involving the assignment

are not mentioned in the body of any other rule).

Assignment takes the rule language outside datalog.

Can we define when it is "safe" (e.g., triples involving the assignment

are not mentioned in the body of any other rule)?

TallTed · 2025-09-15T13:45:13Z

shacl12-inf-rules/index.html

+            Currently, SHACL Rules is, in datatlog-speak, only unnamed 3-tuples.
+            To support "programming" in rules, should we allow transient (not part of the output, 
+            only during rulset evaluation) named n-tuples? <br/>
+            e.g. <code>name(termOrVar, ...)</code>, possibly with a unique marker e.g. <code>`</code> 
+            giving <code>`name(termOrVar, ...)</code>.


Suggested change

Currently, SHACL Rules is, in datatlog-speak, only unnamed 3-tuples.

To support "programming" in rules, should we allow transient (not part of the output,

only during rulset evaluation) named n-tuples? 

e.g. <code>name(termOrVar, ...)</code>, possibly with a unique marker e.g. <code>`</code>

giving <code>`name(termOrVar, ...)</code>.

Currently, SHACL Rules are, in datatlog-speak, only unnamed 3-tuples.

To support "programming" in rules, should we allow transient (not part of the output,

only during rulset evaluation) named n-tuples? 

e.g., <code>name(termOrVar, ...)</code>, possibly with a unique marker, e.g.,

<bdi lang="en">`</bdi>

<code class="uname">U+0060 grave accent</code>

giving <code>`name(termOrVar, ...)</code>.

simonstey · 2025-09-23T09:00:29Z

shacl12-inf-rules/index.html

 <pre class="example-rules">
 PREFIX :       &lt;http://example/&gt;
 PREFIX rdf:    &lt;http://www.w3.org/1999/02/22-rdf-syntax-ns#&gt;
+PREFIX shr     &lt;http://www.w3.org/ns/shacl-rules#&gt;


so is this now shr or slr?

afs added the Rules For SHACL 1.2 Rules spec. label Aug 31, 2025

afs changed the title ~~Content planning~~ SHACL Rule - content planning Sep 1, 2025

afs changed the title ~~SHACL Rule - content planning~~ SHACL Rules - content planning Sep 1, 2025

Content planning

3440a74

afs force-pushed the outline branch from 38d2010 to 3440a74 Compare September 1, 2025 15:19

Named tuples?

6a72a17

afs force-pushed the outline branch from 077197e to 6a72a17 Compare September 8, 2025 21:24

TallTed reviewed Sep 15, 2025

View reviewed changes

simonstey reviewed Sep 23, 2025

View reviewed changes

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

SHACL Rules - content planning #554

SHACL Rules - content planning #554

Uh oh!

afs commented Aug 31, 2025 •

edited

Loading

Uh oh!

afs commented Aug 31, 2025

Uh oh!

TallTed Sep 15, 2025

Uh oh!

TallTed Sep 15, 2025

Uh oh!

TallTed Sep 15, 2025

Uh oh!

TallTed Sep 15, 2025

Uh oh!

TallTed Sep 15, 2025

Uh oh!

TallTed Sep 15, 2025

Uh oh!

TallTed Sep 15, 2025

Uh oh!

simonstey Sep 23, 2025

Uh oh!

Uh oh!

	with a special case of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a>
	with special cases
	of <a href="https://w3c.github.io/shacl/shacl-af/index.html#PropertyValueRule"> property value rules</a>

	<li>Where do the setting come from?</li>
	<li>Where do the settings come from?</li>

	<p>The main evaluatiuon description creates all inferred triple using
	<p>The main evaluation description creates all inferred triples using

SHACL Rules - content planning #554

Are you sure you want to change the base?

SHACL Rules - content planning #554

Uh oh!

Conversation

afs commented Aug 31, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

afs commented Aug 31, 2025

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

afs commented Aug 31, 2025 •

edited

Loading