[
https://issues.apache.org/jira/browse/JENA-1947?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17184673#comment-17184673
]
Andy Seaborne commented on JENA-1947:
-------------------------------------
I'm afraid the tool (jena) can't fix the problem in the shape.
It would be useful to know what the intention is or whether it is a mistake.
Asking about the issue upstream is probably a good idea.
I'm not sure the use of {{sh:targetClass sh:NodeShape}} is intended either -
that only triggers if you run the shape on a shapes file. The text seems to
suggest the shape is linked to ({{sh:node af-s:AFS_0000001}} but
{{sh:and(af-s:AFS_0000001)}} will work as well) so I can't figure out what the
targetClass is for.
There has been a small amount of research work SHACL recursion but it reframes
validation as a theorem prover (c.f OWL-DL).
> SHACL validator: Stack overflow on recursive shapes even if deactivated
> -----------------------------------------------------------------------
>
> Key: JENA-1947
> URL: https://issues.apache.org/jira/browse/JENA-1947
> Project: Apache Jena
> Issue Type: Bug
> Components: SHACL
> Reporter: Jan Rosecky
> Priority: Major
>
> I'm trying to validate using a set of shapes including:
> [http://purl.allotrope.org/shapes/adm/core/REC/2020/06/common.shapes] .
> af-s:AFS_0000001 has a recursive sh:and(af-s:AFS_0000001) clause, which
> causes a stack overflow exception - even though the shape is sh:deactivated.
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
