docs(shacl): document rule-to-SHACL-SPARQL constraint generation - #23
Open
jdsika wants to merge 1 commit into
Open
docs(shacl): document rule-to-SHACL-SPARQL constraint generation#23jdsika wants to merge 1 commit into
jdsika wants to merge 1 commit into
Conversation
This was referenced Jul 11, 2026
The SHACL generator translates LinkML rules into sh:sparql constraints, but the generator documentation did not mention it, so the feature was undiscoverable and its limits undocumented. Describe the recognised named patterns and the compositional fallback, the --emit-rules flag, the skip-never-mis-translate contract and which rule attributes warn, with a worked YAML-to-Turtle example. Note that SPARQL-based constraints need a processor with SHACL-SPARQL support.
jdsika
force-pushed
the
docs/shaclgen-rule-constraints
branch
from
September 11, 2026 12:53
ada76d6 to
5123d41
Compare
jdsika
changed the base branch from
fix/shaclgen-rule-converter-audit-findings
to
feat/shaclgen-compositional-rule-fallback
September 11, 2026 12:53
This was referenced Sep 11, 2026
Author
|
Mirrored upstream as linkml#3991. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
The SHACL generator translates LinkML
rules:intosh:sparqlconstraints, butthe generator documentation did not mention it — so the feature was
undiscoverable and its limits undocumented.
Adds a Rule constraints (SHACL-SPARQL) section to
docs/generators/shacl.rstcovering:
exclusive value) and the compositional fallback;
--emit-rules/--no-emit-rulesflag (default: on);(
bidirectional,open_world,elseconditions) versus are silently skipped(
deactivated);sh:sparqlneeds a processor with SHACL-SPARQL support(e.g.
pyshaclwithadvanced=True).Documentation only — no source or test changes.
Stack position
Important
Depends on #19 and #20. This section documents behaviour introduced by
both, so it should merge last. If #20 is deferred, the paragraph describing the
compositional fallback needs to be dropped from this PR.