Skip to content

Scope of SHACL Compact Syntax #352

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
afs opened this issue Apr 9, 2025 · 7 comments
Open

Scope of SHACL Compact Syntax #352

afs opened this issue Apr 9, 2025 · 7 comments
Assignees
Labels
Compact For SHACL 1.2 Compact Syntax

Comments

@afs
Copy link
Contributor

afs commented Apr 9, 2025

SHACL Compact Syntax is an RDF syntax that generates RDF for a shapes graph.

What is the SHACL coverage of SHACL 1.1 Compact Syntax?

If it is not "all of SHACL 1.1", then what is the subset and is it useful (and worth the WG effort) to have that?

If it is all SHACL, then:

  • Syntax for node expressions
  • Syntax for SHACL Rules
  • Syntax for SPARQL-based constraint components
  • Syntax for SPARQL validators, inc. a prefix mechanism
  • Syntax for Non-Validating Property Shape Characteristics (including formatting messages)
  • Syntax for profiles (?)
@jeswr
Copy link
Member

jeswr commented Apr 9, 2025

Is this now a focus / topic of discussion in the WG - will return to attending calls if so. My view is that we should have the ability to escape into turtle to support the expression of statements that don't have a special syntax defined.

@afs
Copy link
Contributor Author

afs commented Apr 9, 2025

At the moment, we need to see how all the pieces all fit together. We don't need a final SHACL-C.

The key one is node expressions, and writing node expression declarations.

It seems a good idea to have Turtle available (at any point between top-level syntax elements, e.g. turtle { .... } ).

@YoucTagh YoucTagh changed the title Scope of SHALC Compact Syntax Scope of SHACL Compact Syntax Apr 10, 2025
@VladimirAlexiev VladimirAlexiev added the Compact For SHACL 1.2 Compact Syntax label Apr 14, 2025
@VladimirAlexiev
Copy link
Contributor

These are closely related to "scope":

"Escape to Turtle" is

@jeswr if you don't mind, I've assigned this to you?

@afs
Copy link
Contributor Author

afs commented Apr 14, 2025

There are scope issue other than node expressions so please do not focus this issue solely on NE.
I think the first step is to establish the intent of SHACL-C.

Is it all of SHACL 1.2?

@afs
Copy link
Contributor Author

afs commented Apr 14, 2025

Simply allowing Turtle might give theoretical coverage but how does compact syntax shape (target, sh:values, etc) refer to a node expression?

@VladimirAlexiev
Copy link
Contributor

@afs: I agree with you: NEs are important, but not the only feature to be addressed.

And are you saying it's time for me and @jeswr to get busy on a draft grammar?
Btw, it should allow named prop shapes, so they can be reused.

I'd say the scope of shacl-c is all or most of shacl. If an important feature is missing, people just won't use it.
Of course, it can have profiles, to match shacl's profiles.
I think the escape to Turtle is only for non-standard (non- sh) triples.

I think we should allow Turtle at two levels:

  • top level as s,p,o
  • inside a shape as p,o

@afs
Copy link
Contributor Author

afs commented Apr 16, 2025

And are you saying it's time for me and @jeswr to get busy on a draft grammar?

At the moment, we need to see how all the pieces all fit together. We don't need a final SHACL-C..

I think the first step is to establish the intent of SHACL-C.

Do you agree with the list in the description? Is anything missing?

@VladimirAlexiev Is there anything that you think will not / should not / can not be covered?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Compact For SHACL 1.2 Compact Syntax
Projects
None yet
Development

No branches or pull requests

3 participants