fixes https://github.com/zazuko/rdf-validate-shacl/issues/136

src/validation-engine.js

@@ -4,6 +4,7 @@ import ValidationReport from './validation-report.js'
 import { extractStructure, extractSourceShapeStructure } from './dataset-utils.js'
 
 const error = debug('validation-enging::error')
+const maxRecursionDepth = 30
 
 class ValidationEngine {
   constructor(context, options) {
@@ -23,6 +24,7 @@ class ValidationEngine {
 
   initReport() {
     const { rdf, sh } = this.context.ns
+    this.checkedNodes = {}
 
     this.reportPointer = clownface({
       dataset: this.factory.dataset(),
@@ -67,6 +69,16 @@ class ValidationEngine {
 
     if (shape.deactivated) return false
 
+    // check recursion depth: how many times have we already checked this focusNode against this shape?
+    let id = JSON.stringify([focusNode, shape.shapeNode])
+    let recursionDepth = this.checkedNodes[id] === undefined ? 0 : this.checkedNodes[id]
+    if (recursionDepth > maxRecursionDepth) {
+      // max recursion depth reached, so bail out
+      return false
+    }
+    // increment check counter for given focusNode/shape pair
+    this.checkedNodes[id] = recursionDepth + 1
+
     const valueNodes = shape.getValueNodes(focusNode, dataGraph)
     let errorFound = false
     for (const constraint of shape.constraints) {

test/data/data-shapes/custom/circularReferences.ttl

@@ -0,0 +1,48 @@
+@prefix dash: <http://datashapes.org/dash#> .
+@prefix ex: <http://example.org#> .
+@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#> .
+
+<>
+  rdf:type mf:Manifest ;
+  mf:entries (
+      <circularReferences>
+    ) ;
+.
+
+<circularReferences>
+  rdf:type sht:Validate ;
+  rdfs:label "Test of circular references in data graph" ;
+  mf:action [
+      sht:dataGraph <> ;
+      sht:shapesGraph <> ;
+    ] ;
+  mf:result [
+      rdf:type sh:ValidationReport ;
+      sh:conforms "true"^^xsd:boolean ;
+  ] ;
+.
+
+ex:Thing
+    a sh:NodeShape,rdfs:Class ;
+    sh:property [
+                  sh:path         ex:references ;
+                  sh:node         ex:Thing
+                ] ;
+    sh:targetClass <Thing>
+.
+
+<thing1>
+    a <Thing> ;
+    ex:references <thing2>
+.
+
+<thing2>
+    a <Thing> ;
+    ex:references <thing1> ;
+.

test/data/data-shapes/custom/manifest.ttl

@@ -11,4 +11,5 @@
 	mf:include <multiLevelInheritanceWithImplicitTarget.ttl> ;
 	mf:include <targetNodeDoesNotExist.ttl> ;
 	mf:include <lessThan-moreTypes.ttl> ;
+	mf:include <circularReferences.ttl> ;
 	.