doc: fix example

validation.md

@@ -8,8 +8,9 @@ Note: in the following snippets we assume the namespaces:
 @prefix ex: <http:/example.org/> .
 @prefix sh: <http://www.w3.org/ns/shacl#> .
 @prefix this: <http://eye-shacl#> .
+@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/0274bb91-e3b2-439c-b97b-b85adc2b2482#>.
 ```
-where `this:` is the namespace associated with this library.
+where `this:` is the namespace associated with this library and `skolem:` is a namespace generated by the eye reasoner for skolem IRIs.
 
 To validate data against shapes, we first create validation rules from shapes (using [compilation](./rules//compile/) rules) and then we validate the data using the generated rules (as well as generic [runtime](./rules/validate/) ones).
 
@@ -91,16 +92,16 @@ For property shapes:
 ```turtle
 ex:propertyShape sh:path ex:name ; sh:nodeKind sh:Literal .
 ```
-there is also a path traversal with the predicate `this:value` 
-deriving the values reached following the path from a focus node.:
+there is also a path traversal predicate `this:value` 
+deriving the values reached following the path from a focus node:
 ```turtle
 {
     ex:propertyShape this:focusNode ?focusNode.
 
     (?focusNode ex:name) this:value ?value .
 
     ?scope log:notIncludes {
-        ?focusNode this:nodeKind sh:Literal.
+        ?value this:nodeKind sh:Literal.
     }.
     this: this:report ?report.
 } => {