Skip to content

Conversation

@afs
Copy link
Contributor

@afs afs commented Jan 20, 2026

This PR takes text from the revised SHACL 12. Core abstract as related to SHACL Rules.

This is no more than a slightly better abstract. The final abstract can be written when the document is complete.

@afs afs added the Rules For SHACL 1.2 Rules spec. label Jan 20, 2026
@liviorobaldo
Copy link

I think the abstract of SHACL Rules should not mention shapes. Accordingly, I would shorten the abstract as follows (since it is short, I prefer to include it here rather than proposing the changes directly in "Files changed"):

This document defines SHACL Rules.

SHACL, the Shapes Constraint Language, is a language for describing the structure of RDF graphs. SHACL may be used for a variety of purposes such as validating, inferencing, modeling domains, generating ontologies to inform other agents, building user interfaces, generating code, and integrating data.

SHACL Rules provides inferencing with the generation of new RDF data from a combination of a set of rules and a base data graph. Rules can be expressed as RDF or in the SHACL Rules Language (SRL).

@afs
Copy link
Contributor Author

afs commented Jan 20, 2026

I prefer to include it here rather than proposing the changes directly in "Files changed"

That makes it harder to see the changes - the text layout does not correspond to the HTML layout. I have made the change but it would be helpful to have the comparison that the GH UI provides - it highlights the changes in a suggestion.

The text still has "shapes" because of writing out "SHACL".

@afs afs force-pushed the afs/rules-abstract branch from bf58496 to 51c6ed4 Compare January 20, 2026 18:29
@liviorobaldo
Copy link

Ok, thanks for making the changes. I'll make them myself next time. For me the abstract is fine.

<p>
SHACL, the Shapes Constraint Language, is a language for describing the structure
of RDF graphs.
SHACL may be used for a variety of purposes such as validating, inferencing,
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

inferencing has long bothered me, and I am hoping it bothers others here, and maybe we can stop verbing the noun (inference) that was already a nouning of a verb (infer). Maybe we can just use inferring.

Suggested change
SHACL may be used for a variety of purposes such as validating, inferencing,
SHACL may be used for a variety of purposes such as validating, inferring,

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"Inferencing" is a technical term that is used in several fields, such as AI, and is used in the semantic web area.

e.g.
https://blog.okfn.org/2010/08/02/about-inferencing/
#215

Note: the wording for the rules abstract is based on:
https://www.w3.org/TR/shacl12-core/#abstract

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

do we then actually need to copy SHACL Cores's abstract 1:1?

Copy link
Contributor Author

@afs afs Jan 28, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@simonstey -- I'm not sure which way to read your comment:

Are you saying we should take verbatim the SHACL Core?
Or that we should take none of it?

As pointed out the SHACL Core text emphases validation. It also puts that before the general text.

We don't have, yet, WG text that works for core, sparql, profiles, ui, rules, it is better to take what we can and adapt it for now. For example, it would be restructured to go put the general SHACL description in the main paragraph, then have a final short section to cover the specific document.

That will take awhile. This PR for a slightly better abstract, not the final one, given we know people are reading the live drafts.

@afs afs requested a review from robert-david January 24, 2026 08:21
SHACL, the Shapes Constraint Language, is a language for describing the structure
of RDF graphs.
SHACL may be used for a variety of purposes such as validating, inferencing,
modeling domains, generating ontologies to inform other agents, building user
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

generating ontologies to inform other agents,

I know this is coming from SHACL-core, but: what other agents?!

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I picked that term for either humans or software agents such as LLMs. But since these software agents are currently changing on a weekly basis, I wanted to remain vague and not talk about AI agents.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think "agents" will do for now.
What other suggestions are there?

It is a WG task to craft some abstract text that can be used across all the documents. The core abstract is a good start. #729 (comment).

I've created #747 for that.

@afs afs force-pushed the afs/rules-abstract branch from 51c6ed4 to c3150fa Compare January 28, 2026 09:07
@afs afs requested a review from simonstey January 28, 2026 09:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Rules For SHACL 1.2 Rules spec.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants