Skip to content
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.

Sign up for GitHub

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

#212: Added sh:ShapeClass #254

Open
wants to merge 7 commits into
base: gh-pages
Choose a base branch
from
Open

#212: Added sh:ShapeClass #254

Show file tree
Hide file tree
Changes from 6 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
5224879
#212: Added sh:ShapeClass
HolgerKnublauch Feb 16, 2025
4600436
#212: Removed "meta" (class) as suggested by Andy
HolgerKnublauch Feb 18, 2025
d6e70f5
Merge branch 'gh-pages' into issue-212-ShapeClass
HolgerKnublauch Feb 18, 2025
e4758a5
#212: Added sh:ShapeClass to section heading
HolgerKnublauch Feb 18, 2025
544e336
Update shacl12-core/index.html
HolgerKnublauch Feb 25, 2025
b3fd3a7
Merge branch 'gh-pages' into issue-212-ShapeClass
HolgerKnublauch Feb 25, 2025
8daf6ee
#212: Made sh:ShapeClass a rdfs:Class and removed the sentence about it
HolgerKnublauch Feb 26, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 26 additions & 3 deletions shacl12-core/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1225,7 +1225,7 @@ <h4>Class-based Targets (sh:targetClass)</h4>
</section>

<section id="implicit-targetClass">
<h4>Implicit Class Targets</h4>
<h4>Implicit Class Targets and sh:ShapeClass</h4>
<p>
Informally, if a <a>shape</a> is also declared to be a <a>class</a> in the <a>shapes graph</a> then
all <a>SHACL instances</a> of this class are a target for the shape.
Expand All @@ -1241,6 +1241,16 @@ <h4>Implicit Class Targets</h4>
in a <a>shapes graph</a> <code>SG</code> and <code>s</code> is also a <a>SHACL instance</a> of <code>rdfs:Class</code>
in <code>SG</code> then the set of <a>SHACL instances</a> of <code>s</code> in a data graph <code>DG</code> is a <a>target</a> from <code>DG</code> for <code>s</code> in <code>SG</code>.
</div>
<p id="ShapeClass">
The SHACL namespace includes a dedicated class <code>sh:ShapeClass</code> that can serve as a syntactic shortcut for the implicit class targets pattern.
</p>
<div class="def">
<div class="def-header">TEXTUAL DEFINITION</div>
The class <code>sh:ShapeClass</code> is an <code>rdfs:subClassOf</code> of both <code>sh:NodeShape</code> and <code>rdfs:Class</code>.
<code>sh:ShapeClass</code> has itself as its <code>rdf:type</code>.
Copy link

Choose a reason for hiding this comment

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

This is not true.

sh:ShapeClass rdfs:subClassOf rdfs:Class , sh:NodeShape. # true
sh:ShapeClass a rdfs:Class. # true
sh:ShapeClass a sh:NodeShape. # FALSE!

Copy link
Contributor Author

Choose a reason for hiding this comment

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

But the triple sh:ShapeClass rdf:type sh:ShapeClass is explicitly stated in the TTL file:

https://github.com/w3c/data-shapes/pull/254/files#diff-e7ad12ee6ccf9c41e835d5d12955c739ac6ead85384719f9a3cd0127f7a1c5fdR58

Copy link
Contributor

@afs afs Feb 25, 2025 •
edited
Loading

Choose a reason for hiding this comment

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

In the textual definition, the sentence

sh:ShapeClass has itself as its rdf:type.

has two readings: as part of the definition and being an authoritative statement, or as stating a consequence of the first part. Replace the preceeding . with ; and it does make it part of the definition.

The class sh:ShapeClass is an rdfs:subClassOf of both sh:NodeShape and of rdfs:Class; sh:ShapeClass has itself as an rdf:type.

("an rdf:type" - it has unrelated ones as well)

The current 3rd sentence, which is definitely not adding to the definition, and is stating a consequence of "SHACL instance":

If s is a SHACL instance of sh:ShapeClass in a shapes graph SG then the set of SHACL instances of s in a data graph DG is a target from DG for s in SG.

could be moved to after the textual definition box so the definition box is all definition.

Copy link

Choose a reason for hiding this comment

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

Why should sh:ShapeClass rdf:type sh:ShapeClass be true?

Copy link
Contributor

Choose a reason for hiding this comment

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

As I read it - because the definition says it is.

If it is the other reading where sh:ShapeClass rdf:type sh:ShapeClass is an implication, it does not need to be in the definition box. I don't see the implication path that concludes that fact but maybe I've missed it.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Ok, what about I just remove that sentence? We do not make these assertions explicit in the spec of other things (e.g. we don't say that sh:NodeShape rdf:type rdfs:Class. This information is present in the sh: namespace TTL and that's probably good enough?

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 have removed the offending sentence and made sh:ShapeClass a rdfs:Class in the TTL file as this was not really necessary. I hope this addresses the concern here and will ask for another review

Copy link
Contributor

Choose a reason for hiding this comment

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

@HolgerKnublauch --

Are you saying it is a natural conclusion from the rest of SHACL? What path leads to that?

If on the other hand, it is a necessary additional requirement about sh:ShapeClass then it should be in the definition. (i.e the definition should be complete and self-contained without the namespace document.)

Concretely - what requires sh:ShapeClass rdf:type sh:ShapeClass to work?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

what requires sh:ShapeClass rdf:type sh:ShapeClass to work?

Nothing really, so I have taken it out and made it rdfs:Class only. Maybe our messages crossed paths.

If <code>s</code> is a <a>SHACL instance</a> of <code>sh:ShapeClass</code> in a <a>shapes graph</a> <code>SG</code>
then the set of <a>SHACL instances</a> of <code>s</code> in a data graph <code>DG</code> is a <a>target</a> from <code>DG</code> for <code>s</code> in <code>SG</code>.
</div>
<p><em>The remainder of this section is informative.</em></p>
<p>
In the following example, <code>ex:Alice</code> is a focus node, because it is a <a>SHACL instance</a> of
Expand All @@ -1260,6 +1270,18 @@ <h4>Implicit Class Targets</h4>
</div>
</div>
</aside>
<p>
In the following variation of the example above, <code>ex:Person</code> is declared as an instance of <code>sh:ShapeClass</code>,
with the same interpretation.
</p>
<aside class="example">
<div class="shapes-graph">
<div class="turtle">
ex:Person
<b>a sh:ShapeClass</b> .</pre>
</div>
</div>
</aside>
</section>

<section id="targetSubjectsOf">
Expand Down Expand Up @@ -4788,7 +4810,7 @@ <h2>Acknowledgements</h2>
<section class="appendix informative">
<h2>Revision History</h2>
<p>
The detailed list of changes and their diffs can be found in the Git repository.
The detailed list of changes and their diffs can be found in the <a href="https://github.com/w3c/data-shapes">Git repository</a>.
</p>
<ul>
<li><b>2024-02-14</b>: New work started by cloning the main SHACL spec and splitting it into SHACL Core and SHACL-SPARQL</li>
Expand All @@ -4799,8 +4821,9 @@ <h2>Revision History</h2>
<h2>Changes between SHACL 1.0 Core and SHACL 1.2 Core</h2>
<ul>
<li>Added the new constraint component <a href="#SingleLineConstraintComponent"><code>sh:singleLine</code></a>, see <a href="https://github.com/w3c/data-shapes/issues/177">Issue 177</a></li>
<li>Added the new class <a href="#ShapeClass"><code>sh:ShapeClass</code></a> for implicit class targets, see <a href="https://github.com/w3c/data-shapes/issues/212">Issue 212</a></li>
</ul>
</section>
</section>
</body>

<script type="text/javascript">
Expand Down
1 change: 1 addition & 0 deletions shacl12-test-suite/tests/core/targets/manifest.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
mf:include <multipleTargets-001.ttl> ;
mf:include <targetClass-001.ttl> ;
mf:include <targetClassImplicit-001.ttl> ;
mf:include <targetClassImplicit-002.ttl> ;
mf:include <targetNode-001.ttl> ;
mf:include <targetObjectsOf-001.ttl> ;
mf:include <targetSubjectsOf-001.ttl> ;
Expand Down
57 changes: 57 additions & 0 deletions shacl12-test-suite/tests/core/targets/targetClassImplicit-002.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
@prefix dash: <http://datashapes.org/dash#> .
@prefix ex: <http://datashapes.org/sh/tests/core/targets/targetClassImplicit-002.test#> .
@prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix sht: <http://www.w3.org/ns/shacl-test#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ex:InvalidInstance
rdf:type ex:SubClass ;
rdfs:label "Invalid instance" ;
.
ex:SubClass
rdf:type rdfs:Class ;
rdfs:label "Sub class" ;
rdfs:subClassOf ex:SuperClass ;
.
ex:SuperClass
a sh:ShapeClass ;
rdfs:label "Super class" ;
sh:in (
ex:ValidInstance
) ;
.
ex:ValidInstance
rdf:type ex:SubClass ;
rdfs:label "Valid instance" ;
.
<>
rdf:type mf:Manifest ;
mf:entries (
<targetClassImplicit-002>
) ;
.
<targetClassImplicit-002>
rdf:type sht:Validate ;
rdfs:label "Verify that sh:ShapeClass is interpreted as implicit class target" ;
mf:action [
sht:dataGraph <> ;
sht:shapesGraph <> ;
] ;
mf:result [
rdf:type sh:ValidationReport ;
sh:conforms "false"^^xsd:boolean ;
sh:result [
rdf:type sh:ValidationResult ;
sh:focusNode ex:InvalidInstance ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent sh:InConstraintComponent ;
sh:sourceShape ex:SuperClass ;
sh:value ex:InvalidInstance ;
] ;
] ;
mf:status sht:approved ;
.
7 changes: 7 additions & 0 deletions shacl12-vocabularies/shacl.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,13 @@ sh:PropertyShape
rdfs:subClassOf sh:Shape ;
rdfs:isDefinedBy sh: .

sh:ShapeClass
a sh:ShapeClass ;
rdfs:comment "A shape class is a class that is also a node shape. sh:ShapeClass can be used as rdf:type instead of the combination of rdfs:Class and sh:NodeShape."@en ;
rdfs:label "Shape class"@en ;
rdfs:subClassOf rdfs:Class ;
rdfs:subClassOf sh:NodeShape .

sh:deactivated
a rdf:Property ;
rdfs:label "deactivated"@en ;
Expand Down