Fixed broken references to <dfn> definitions (#578)

HolgerKnublauch · web-flow · commit 360885447f52 · 2025-09-23T12:36:22.000+04:00
diff --git a/shacl12-core/index.html b/shacl12-core/index.html
@@ -266,7 +266,7 @@ <h3>Terminology</h3>
 					<div class="term-def-header">Property Value and Path</div>
 					<div>
 						A <dfn data-lt="properties">property</dfn> is an <a>IRI</a>.
-						An <a>RDF term</a> <code>n</code> has a <dfn data-lt="values|property value|property values">value</dfn> <code>v</code>
+						An <a>RDF term</a> <code>n</code> has a <dfn data-lt="value|values|property value|property values">value</dfn> <code>v</code>
 						for property <code>p</code> in an <a>RDF graph</a> if there is an <a>RDF triple</a> in the graph
 						with <a>subject</a> <code>n</code>, <a>predicate</a> <code>p</code>, and <a>object</a> <code>v</code>.
 						The phrase "Every value of P in graph G ..." means "Every object of a triple in G with predicate P ...".
@@ -282,14 +282,14 @@ <h3>Terminology</h3>
 				<div class="def">
 					<div class="term-def-header">SHACL Lists</div>
 					<div>
-						<span data-syntax-rule="SHACL-list">A <dfn data-lt="SHACL lists">SHACL list</dfn> in an RDF graph <code>G</code> is an <a>IRI</a> or a <a>blank node</a>
+						<span data-syntax-rule="SHACL-list">A <dfn>SHACL list</dfn> in an RDF graph <code>G</code> is an <a>IRI</a> or a <a>blank node</a>
 						that is either <code>rdf:nil</code>	(provided that <code>rdf:nil</code> has no <a>value</a>
 						for either <code>rdf:first</code> or <code>rdf:rest</code>), or has exactly one <a>value</a>
 						for the property <code>rdf:first</code> in <code>G</code> and exactly one <a>value</a>
 						for the property <code>rdf:rest</code> in <code>G</code> that is also a SHACL list in <code>G</code>,
 						and the list does not have itself as a value of the property path <code>rdf:rest+</code> in <code>G</code>.</span>
 						<br>
-						The  <dfn data-lt="member">members</dfn> of any SHACL list except <code>rdf:nil</code> in an RDF
+						The <dfn data-lt="members|member">members</dfn> of any SHACL list except <code>rdf:nil</code> in an RDF
 						graph <code>G</code> consist of its value for <code>rdf:first</code> in <code>G</code> followed by
 						the members in <code>G</code> of its value for <code>rdf:rest</code> in <code>G</code>.
 						The SHACL list <code>rdf:nil</code> has no members in any RDF graph.
@@ -1199,7 +1199,7 @@ <h3>Constraints, Parameters and Constraint Components</h3>
 					</p>
 					<p>
 						For a <a>constraint component</a> <code>C</code> with <a>mandatory parameters</a> <code>p1</code>, ... <code>pn</code>,
-						a <a>shape</a> <code>s</code> in a <a>shapes graph</a> <code>SG</code> <em>declares</em> a <dfn data-lt="constraints">constraint</dfn>
+						a <a>shape</a> <code>s</code> in a <a>shapes graph</a> <code>SG</code> <em>declares</em> a <dfn>constraint</dfn>
 						that has <dfn>kind</dfn> <code>C</code> with <a>mandatory parameter</a> <a>values</a> <code>&lt;p1,v1&gt;</code>, ... <code>&lt;pn,vn&gt;</code>
 						in <code>SG</code> when <code>s</code> has <code>vi</code> as a <a>value</a> for <code>pi</code> in <code>SG</code>.
 						For constraint components with <a>optional parameters</a>, the constraint declaration consists of the <a>values</a> that the shape has for all mandatory and optional parameters of that component.
@@ -1294,7 +1294,7 @@ <h3>Constraints, Parameters and Constraint Components</h3>
 }</pre></div></div>
 					</aside>
 					<p>
-						Constraint components are associated with <dfn data-lt="validator|validators">validators</dfn>, which provide instructions (for example expressed via SPARQL queries)
+						Constraint components are associated with <dfn>validators</dfn>, which provide instructions (for example expressed via SPARQL queries)
 						on how the parameters are used to validate data.
 						Validating an <a>RDF term</a> against a <a>shape</a> involves validating the term against each <a>constraint</a> where the
 						shape has <a>values</a> for all <a>mandatory parameters</a> of the <a>component</a> of the <a>constraint</a>,
@@ -1309,7 +1309,7 @@ <h3>Constraints, Parameters and Constraint Components</h3>
 				<section id="focusNodes">
 					<h3>Focus Nodes</h3>
 					<p>
-						An <a>RDF term</a> that is <a>validated</a> against a <a>shape</a> using the triples from a <a>data graph</a> is called a <dfn data-lt="focus node|focus nodes">focus node</dfn>.
+						An <a>RDF term</a> that is <a>validated</a> against a <a>shape</a> using the triples from a <a>data graph</a> is called a <dfn>focus node</dfn>.
 					</p>
 					<p><em>The remainder of this section is informative.</em></p>
 					<p>
@@ -1330,7 +1330,7 @@ <h3>Targets</h3>
 						<a>triples</a> with the <a>shape</a> as the <a>subject</a> and certain properties described in this document
 						(e.g., <code>sh:targetClass</code>) as <a>predicates</a>.
 						Target declarations can be used to produce <a>focus nodes</a> for a <a>shape</a>.
-						The <dfn data-lt="targets">target</dfn> of a <a>target declaration</a> is the set of RDF terms produced
+						The <dfn>target</dfn> of a <a>target declaration</a> is the set of RDF terms produced
 						by applying the rules described in the remainder of this section to the <a>data graph</a>.
 						The <dfn data-lt="target of the shape">target of a shape</dfn> is the union of all RDF terms produced by the individual
 						<a>targets</a> that are declared by the <a>shape</a> in the <a>shapes graph</a>.
@@ -2201,7 +2201,7 @@ <h4>Deactivating Shapes and Constraints</h4>
 			<section id="node-shapes">
 				<h3>Node Shapes</h3>
 				<p class="syntax">
-					A <dfn data-lt="node shapes">node shape</dfn> is a <a>shape</a> in the <a>shapes graph</a> that
+					A <dfn>node shape</dfn> is a <a>shape</a> in the <a>shapes graph</a> that
 					is not the <a>subject</a> of a <a>triple</a> with <code>sh:path</code> as its <a>predicate</a>.
 					It is recommended, but not required, for a <a>node shape</a> to be declared as a <a>SHACL instance</a> of <code>sh:NodeShape</code>.
 					<span data-syntax-rule="NodeShape-path-maxCount"><a>SHACL instances</a> of <code>sh:NodeShape</code> cannot have a <a>value</a> for the property <code>sh:path</code>.</span>
@@ -2215,7 +2215,7 @@ <h3>Node Shapes</h3>
 			<section id="property-shapes">
 				<h3>Property Shapes</h3>
 				<p class="syntax">
-					<span data-syntax-rule="PropertyShape">A <dfn data-lt="property shapes">property shape</dfn> is a <a>shape</a> in the <a>shapes graph</a>
+					<span data-syntax-rule="PropertyShape">A <dfn>property shape</dfn> is a <a>shape</a> in the <a>shapes graph</a>
 					that is the <a>subject</a> of a <a>triple</a> that has <code>sh:path</code> as its <a>predicate</a>.</span>
 					<span data-syntax-rule="path-maxCount">A shape has at most one <a>value</a> for <code>sh:path</code>.</span>
 					<span data-syntax-rule="path-node">The <a>value</a> of <code>sh:path</code> in a property shape is a <a>well-formed</a>
@@ -2342,10 +2342,10 @@ <h2>SHACL Property Paths</h2>
 				The following sub-sections provide syntax rules of <a>well-formed</a> <a>SHACL property paths</a>
 				together with mapping rules to <a href="https://www.w3.org/TR/sparql12-query/#pp-language">SPARQL 1.2 property paths</a>.
 				These rules define the <dfn>path mapping</dfn> <code>path(p,G)</code> in an RDF graph <code>G</code> of an RDF term <code>p</code> that is a SHACL property path in <code>G</code>.
-				Two SHACL property paths are considered <dfn data-lt="equivalent path">equivalent paths</dfn> when they map to the exact same SPARQL property paths.
+				Two SHACL property paths are considered <dfn>equivalent paths</dfn> when they map to the exact same SPARQL property paths.
 			</p>
 			<p class="syntax">
-				<span data-syntax-rule="path-metarule">A node in an RDF graph is a <a>well-formed</a> <dfn data-lt="SHACL property paths">SHACL property path</dfn> <code>p</code> if it satisfies exactly one of the syntax rules in the following sub-sections.</span>
+				<span data-syntax-rule="path-metarule">A node in an RDF graph is a <a>well-formed</a> <dfn>SHACL property path</dfn> <code>p</code> if it satisfies exactly one of the syntax rules in the following sub-sections.</span>
 				<span data-syntax-rule="path-non-recursive">A node <code>p</code> is not a <a>well-formed</a> SHACL property path if <code>p</code> is a blank node and any path mappings of <code>p</code> directly or transitively reference <code>p</code>.</span>
 			</p>
 			<p>
@@ -2642,7 +2642,7 @@ <h2>Validation and Graphs</h2>
 			<section id="shapes-graph">
 				<h3>Shapes Graph</h3>
 				<p>
-					A <dfn data-lt="shapes graphs">shapes graph</dfn> is an RDF graph containing zero or more shapes
+					A <dfn>shapes graph</dfn> is an RDF graph containing zero or more shapes
 					that is passed into a SHACL <a>validation</a> process so that a <a>data graph</a> can be validated against the shapes.
 				</p>
 				<p><em>The remainder of this section is informative.</em></p>
@@ -2660,7 +2660,7 @@ <h3>Shapes Graph</h3>
 			<section id="data-graph">
 				<h3>Data Graph</h3>
 				<p>
-					Any RDF graph can be a <dfn data-lt="data graphs">data graph</dfn>.
+					Any RDF graph can be a <dfn>data graph</dfn>.
 				</p>
 				<p><em>The remainder of this section is informative.</em></p>
 				<p>
@@ -2740,7 +2740,7 @@ <h3>Linking to shapes graphs (sh:shapesGraph)</h3>
 			<section id="validation-definition">
 				<h3>Validation</h3>
 				<p>
-					<dfn data-lt="validating|validates|validated|validate">Validation</dfn> is a mapping from some input
+					<dfn data-lt="validation|validating|validates|validated|validate">Validation</dfn> is a mapping from some input
 					to <a>validation results</a>, as defined in the following paragraphs.
 				</p>
 				<p>
@@ -2781,7 +2781,7 @@ <h3>Validation</h3>
 				<section id="failures">
 					<h4>Failures</h4>
 					<p>
-						<a>Validation</a> and <a>conformance checking</a> can result in a <dfn data-lt="failures">failure</dfn>.
+						<a>Validation</a> and <a>conformance checking</a> can result in a <dfn>failure</dfn>.
 						For example, a particular SHACL processor might allow recursive shapes but report a failure
 						if it detects a loop within the data.
 						Failures can also be reported due to resource exhaustion.
@@ -2829,7 +2829,7 @@ <h4>Handling of Recursive Shapes</h4>
 						in <code>G</code> if it	has <code>s2</code> as <a>value</a> for some non-list-taking,
 						shape-expecting parameter of some constraint component or <code>s2</code> as a <a>member</a> of
 						the <a>value</a> for some list-taking, shape-expecting parameter of some constraint component.
-						A shape in an RDF graph <code>G</code> is a <dfn data-lt="recursive">recursive shape</dfn> in <code>G</code> if it is related to
+						A shape in an RDF graph <code>G</code> is a <dfn data-lt="recursive shape|recursive">recursive shape</dfn> in <code>G</code> if it is related to
 						itself by the transitive closure of the <a>refers</a> relationship in <code>G</code>.
 					</p>
 					<p>
@@ -2852,12 +2852,12 @@ <h4>Handling of Recursive Shapes</h4>
 			<section id="conformance-definition">
 				<h3>Conformance Checking</h3>
 				<p>
-					A <a>focus node</a> <dfn data-lt="conform|conformance">conforms</dfn> to a <a>shape</a> if and only if
+					A <a>focus node</a> <dfn data-lt="conforms|conform|conformance">conforms</dfn> to a <a>shape</a> if and only if
 					the set of result of the <a>validation</a> of the <a>focus node</a> against the <a>shape</a> does not contain any results with a severity level representing a violation and no <a>failure</a>
 					has been reported by it.
 				</p>
 				<p>
-					<dfn data-lt="conformance check">Conformance checking</dfn> produces <code>true</code> if and only if a given <a>focus node</a>
+					<dfn data-lt="conformance checking|conformance check">Conformance checking</dfn> produces <code>true</code> if and only if a given <a>focus node</a>
 					<a>conforms</a> to a given <a>shape</a>, and <code>false</code> otherwise.
 				</p>
 				<p id="conformance-nested">
diff --git a/shacl12-node-expr/index.html b/shacl12-node-expr/index.html
@@ -185,43 +185,42 @@ <h3>Terminology</h3>
 					<div class="term-def-header">Basic SHACL Terminology</div>
 					<div>
 						This document uses the terms
-						<dfn data-cite="shacl12-core#dfn-focus-node" data-lt="focus node|focus nodes">focus node</dfn>,
-						<dfn data-cite="shacl12-core#dfn-value" data-lt="value">value</dfn>,
-						<dfn data-cite="shacl12-core#dfn-value-node" data-lt="value node|value nodes">value node</dfn>,
-						<dfn data-cite="shacl12-core#dfn-constraint" data-lt="constraint|constraints">constraint</dfn>,
-						<dfn data-cite="shacl12-core#dfn-constraint-component" data-lt="constraint component|constraint components">constraint component</dfn>,
-						<dfn data-cite="shacl12-core#dfn-parameter" data-lt="parameter|parameters">parameter</dfn>,
-						<dfn data-cite="shacl12-core#dfn-mandatory-parameter" data-lt="mandatory parameter|mandatory parameters">mandatory parameter</dfn>,
-						<dfn data-cite="shacl12-core#dfn-optional-parameter" data-lt="optional parameter|optional parameters">optional parameter</dfn>,
-						<dfn data-cite="shacl12-core#dfn-parameter-value" data-lt="parameter value">parameter value</dfn>,
-						<dfn data-cite="shacl12-core#dfn-shape" data-lt="shape|shapes">shape</dfn>,
-						<dfn data-cite="shacl12-core#dfn-node-shape" data-lt="node shape|node shapes">node shape</dfn>,
-						<dfn data-cite="shacl12-core#dfn-property-shape" data-lt="property shape|property shapes">property shape</dfn>,
-						<dfn data-cite="shacl12-core#dfn-shacl-property-path" data-lt="shacl property path|shacl property paths">SHACL property path</dfn>,
-						<dfn data-cite="shacl12-core#dfn-sparql-property-path" data-lt="sparql property path|sparql property paths">SPARQL property path</dfn>,
-						<dfn data-cite="shacl12-core#dfn-data-graph" data-lt="data graph">data graph</dfn>,
-						<dfn data-cite="shacl12-core#dfn-shapes-graph" data-lt="shapes graph">shapes graph</dfn>,
-						<dfn data-cite="shacl12-core#dfn-target" data-lt="target|targets">target</dfn>,
-						<dfn data-cite="shacl12-core#dfn-validators" data-lt="validator|validators">validator</dfn>,
-						<dfn data-cite="shacl12-core#dfn-validation-result" data-lt="result|validation result">validation result</dfn>,
-						<dfn data-cite="shacl12-core#dfn-node-expression" data-lt="node expression|node expresssions">node expression</dfn>,
-						<dfn data-cite="shacl12-core#dfn-node-expression-function" data-lt="node expression function|node expresssion functions">node expression function</dfn>,
+						<dfn data-cite="shacl12-core#dfn-focus-node">focus node</dfn>,
+						<dfn data-cite="shacl12-core#dfn-value">value</dfn>,
+						<dfn data-cite="shacl12-core#dfn-value-node">value node</dfn>,
+						<dfn data-cite="shacl12-core#dfn-constraint">constraint</dfn>,
+						<dfn data-cite="shacl12-core#dfn-constraint-component">constraint component</dfn>,
+						<dfn data-cite="shacl12-core#dfn-parameter">parameter</dfn>,
+						<dfn data-cite="shacl12-core#dfn-mandatory-parameter">mandatory parameter</dfn>,
+						<dfn data-cite="shacl12-core#dfn-optional-parameter">optional parameter</dfn>,
+						<dfn data-cite="shacl12-core#dfn-parameter-value">parameter value</dfn>,
+						<dfn data-cite="shacl12-core#dfn-shape">shape</dfn>,
+						<dfn data-cite="shacl12-core#dfn-node-shape">node shape</dfn>,
+						<dfn data-cite="shacl12-core#dfn-property-shape">property shape</dfn>,
+						<dfn data-cite="shacl12-core#dfn-shacl-property-path">SHACL property path</dfn>,
+						<dfn data-cite="shacl12-core#dfn-data-graph">data graph</dfn>,
+						<dfn data-cite="shacl12-core#dfn-shapes-graph">shapes graph</dfn>,
+						<dfn data-cite="shacl12-core#dfn-target">target</dfn>,
+						<dfn data-cite="shacl12-core#dfn-validators">validator</dfn>,
+						<dfn data-cite="shacl12-core#dfn-validation-result" data-lt="validation result|result">validation result</dfn>,
+						<dfn data-cite="shacl12-core#dfn-node-expression">node expression</dfn>,
+						<dfn data-cite="shacl12-core#dfn-node-expression-function">node expression function</dfn>,
 						<dfn data-cite="shacl12-core#dfn-function-name" data-lt="node expression function name">function name</dfn>,
-						<dfn data-cite="shacl12-core#dfn-output-nodes" data-lt="output nodes">output nodes</dfn>,
-						<dfn data-cite="shacl12-core#dfn-focus-graph" data-lt="focus graph">focus graph</dfn>,
+						<dfn data-cite="shacl12-core#dfn-output-nodes">output nodes</dfn>,
+						<dfn data-cite="shacl12-core#dfn-focus-graph">focus graph</dfn>,
 						<dfn data-cite="shacl12-core#dfn-evaluation">evaluation</dfn>,
 						<dfn data-cite="shacl12-core#dfn-evaluation-failure">evaluation failure</dfn>,
-						<dfn data-cite="shacl12-core#dfn-conform" data-lt="conform|conforms">conform</dfn>,
-						<dfn data-cite="shacl12-core#dfn-conformance-check" data-lt="conformance check">conformance check</dfn>,
-						<dfn data-cite="shacl12-core#dfn-failure" data-lt="failure|failures">failure</dfn>,
+						<dfn data-cite="shacl12-core#dfn-conforms" data-lt="conforms|conform">conforms</dfn>,
+						<dfn data-cite="shacl12-core#dfn-conformance-checking" data-lt="conformance check">conformance checking</dfn>,
+						<dfn data-cite="shacl12-core#dfn-failure">failure</dfn>,
 						<dfn data-cite="shacl12-core#dfn-validation">validation</dfn>,
-						<dfn data-cite="shacl12-core#dfn-shacl-instance" data-lt="shacl instance">SHACL instance</dfn>,
-						<dfn data-cite="shacl12-core#dfn-shacl-subclass" data-lt="shacl subclass">SHACL subclass</dfn>,
-						<dfn data-cite="shacl12-core#dfn-shacl-type" data-lt="shacl type">SHACL type</dfn>,
-						<dfn data-cite="shacl12-core#dfn-shacl-list" data-lt="shacl list|shacl lists">SHACL list</dfn>,
-						<dfn data-cite="shacl12-core#dfn-members" data-lt="members">members</dfn>,
-						<dfn data-cite="shacl12-core#dfn-well-formed" data-lt="well-formed">well-formed</dfn>,
-						<dfn data-cite="shacl12-core#dfn-deep-copy" data-lt="deep copy">deep copy</dfn>,
+						<dfn data-cite="shacl12-core#dfn-shacl-instance">SHACL instance</dfn>,
+						<dfn data-cite="shacl12-core#dfn-shacl-subclass">SHACL subclass</dfn>,
+						<dfn data-cite="shacl12-core#dfn-shacl-type">SHACL type</dfn>,
+						<dfn data-cite="shacl12-core#dfn-shacl-list">SHACL list</dfn>,
+						<dfn data-cite="shacl12-core#dfn-members">members</dfn>,
+						<dfn data-cite="shacl12-core#dfn-well-formed">well-formed</dfn>,
+						<dfn data-cite="shacl12-core#dfn-deep-copy">deep copy</dfn>,
 						as defined in the SHACL 1.2 Core specification [[!shacl12-core]].
 					</div>
 				</div>
