Issue 172: Support for sh:closed sh:ByTypes

[HolgerKnublauch]

Closes #172

• See this document rendered online here

[TallTed]

Suggested change

	<code>
	function collectProperties(S)<br />
	add all IRI properties that can be reached from S via the SPARQL path<br />
	sh:property/sh:path<br />
	if S is a SHACL instance of rdfs:Class in the shapes graph {<br />
	for each triple in the shapes graph matching (S rdfs:subClassOf ?o)<br />
	collectProperties(?o)<br />
	for each triple in the shapes graph matching (?s sh:targetClass S)<br />
	collectProperties(?s)<br />
	}<br/>
	if S is a SHACL instance of sh:NodeShape in the shapes graph<br />
	for each triple in the shapes graph matching (S sh:node ?o)<br />
	collectProperties(?o)<br />
	<br />
	for each rdf:type T of the value node in the data graph<br />
	collectProperties(T)<br />
	<code>
	<pre>function collectProperties(S)
	add all IRI properties that can be reached from S via the SPARQL path
	sh:property/sh:path
	if S is a SHACL instance of rdfs:Class in the shapes graph, then {
	for each triple in the shapes graph matching (S rdfs:subClassOf ?o)
	collectProperties(?o)
	for each triple in the shapes graph matching (?s sh:targetClass S)
	collectProperties(?s)
	}
	if S is a SHACL instance of sh:NodeShape in the shapes graph, then
	for each triple in the shapes graph matching (S sh:node ?o)
	collectProperties(?o)
	for each rdf:type T of the value node in the data graph
	collectProperties(T)</pre>

[HolgerKnublauch]

The pre was adding syntax highlighting in unsuitable places in my testing. Have you tried to render your change?