diff --git a/shacl12-profiling/implementation-report/index.html b/shacl12-profiling/implementation-report/index.html index 52a72aea1..10026cc5b 100644 --- a/shacl12-profiling/implementation-report/index.html +++ b/shacl12-profiling/implementation-report/index.html @@ -95,180 +95,149 @@
- This section lists the implementable features of [[[shacl12-profiling]]]. + This section lists the implementable features of [[[shacl12-profiling]]] with a not on what form implementation is + expected to take. Not all sections of that document are directly implementable, so the features listed here do not + perfectly follow its sections.
| ID | Name | +How implementable | |
|---|---|---|---|
| [[[shacl12-profiling#packaging]]] | |||
| 2.3 | [[[shacl12-profiling#rec-shapesgraph]]] | +Use of vocabulary term in data | |
| 2.4 | [[[shacl12-profiling#rec-defined]]] | +Use of vocabulary term in data | |
| 2.5 | [[[shacl12-profiling#rec-member]]] | +Use of vocabulary term in data | |
| 2.6 | [[[shacl12-profiling#rec-imports]]] | +Use of vocabulary term in data | |
| 2.7 | [[[shacl12-profiling#persisting-validation]]] | +Use of vocabulary term in data or a SHACL validator that can generate the elements of the SHACL Profiling Vocabulary | |
| [[[shacl12-profiling#profiling-of-shacl]]] | |||
| 3.1 | -[[[shacl12-profiling#defining-profiles]]] | -||
| 3.4 | -[[[shacl12-profiling#creating-profiles]]] | +
+ [[[shacl12-profiling#defining-profiles]]] + [[[shacl12-profiling#creating-profiles]]] + |
+ + The definition of profiles of SHACL using vocabulary elements recommended in this section + |
| [[[shacl12-profiling#profiling-with-shacl]]] | |||
| 4.2.1 | [[[shacl12-profiling#characterization]]] | ++ The use of SHACL to specify profiles of data + | |
| 4.2.2 | [[[shacl12-profiling#reasoning]]] | +Software capable of executing the rule | |
| 4.2.3 | [[[shacl12-profiling#hierarchies]]] | +A Shapes Graph compounded from profiles in a hierarchy | |
| 4.2.4 | [[[shacl12-profiling#null-profiles]]] | ++ The definition of null profiles of RDF specifications using SHACL + | |
| [[[shacl12-profiling#vocabulary]]] | |||
| 5.1 | [[[shacl12-profiling#cls-shapesgraph]]] | +Use of vocabulary term in data | |
| 5.1.1 | [[[shacl12-profiling#prop-imports]]] | +Use of vocabulary term in data | |
| 5.1.2 | [[[shacl12-profiling#prop-member]]] | +Use of vocabulary term in data | |
| 5.2 | [[[shacl12-profiling#cls-datagraph]]] | +Use of vocabulary term in data | |
| 5.2.1 | [[[shacl12-profiling#cls-conformstochapesgraph]]] | +Use of vocabulary term in data | |
| 5.3 | [[[shacl12-profiling#cls-validationreport]]] | +Use of vocabulary term in data | |
| 5.3.1 | [[[shacl12-profiling#prop-conforms]]] | +Use of vocabulary term in data | |
| 5.4 | [[[shacl12-profiling#cls-validationagent]]] | +Use of vocabulary term in data | |
| 5.5 | [[[shacl12-profiling#cls-validationactivity]]] | +Use of vocabulary term in data | |
| 5.5.1 | [[[shacl12-profiling#prop-useddatagraph]]] | +Use of vocabulary term in data | |
| 5.5.2 | [[[shacl12-profiling#prop-usedshapesgraph]]] | +Use of vocabulary term in data | |
| 5.5.3 | [[[shacl12-profiling#prop-generated]]] | +Use of vocabulary term in data | |
| 5.5.4 | [[[shacl12-profiling#prop-wasassotiatedwith]]] | +Use of vocabulary term in data | |
| 5.6 | [[[shacl12-profiling#cls-shape]]] | +Use of vocabulary term in data | |
| 5.6.1 | [[[shacl12-profiling#prop-isdefinedby]]] | +Use of vocabulary term in data | |
| 5.7 | [[[shacl12-profiling#rule-conformsttoshapesgraph]]] | +Software capable of executing the rule | |
| 5.8 | [[[shacl12-profiling#rule-conformstospecification]]] | +Software capable of executing the rule | |
| [[[shacl12-profiling#profiles]]] | -|||
| A.1 | -[[[shacl12-profiling#specification-profiles]]] | -||
| A.2 | -[[[shacl12-profiling#union-profile]]] | -||
| A.3 | -[[[shacl12-profiling#ui-profile]]] | -||
| A.4 | -[[[shacl12-profiling#cl1-profile]]] | -||
| A.5 | -[[[shacl12-profiling#10-profile]]] | -||
| A.6 | -[[[shacl12-profiling#pp-profile]]] | -||
| A.7 | -[[[shacl12-profiling#owl-consistent-profile]]] | -||
| [[[shacl12-profiling#null-profile-examples]]] | -|||
| B.1 | -[[[shacl12-profiling#null-profile-of-pos]]] | -||
| B.2 | -[[[shacl12-profiling#null-profile-of-prof]]] | +[[[shacl12-profiling#prov-o-alignment]]] | +Use of the alignment triples in data |
+ kurra is a Python package of RDF data manipulation and data management functions that can be called from + the command line or other software. It is built on top of RDFLib and + pySHACL. +
+
+ kurra implements a SHACL validate() function that presents a number of options not (yet) available
+ in pySHACL. One such option which can be seen by running kurra shacl validate -h is -r
+ which is "What to return: the full validation results, a summary table/graph, or a PROV-O provenance graph".
- This section tabulates the implementation of individual features, from [[[#features]]] by implementations in - [[[#implementations]]]. + This section tabulates the features listed in [[[#features]]] by implementations listed in + [[[#implementations]]]. Each row indicates the feature's ID - section number in the [[[shacl12-profiling]]] - + the implementation(s) of it and "Evidence" indicating how the implementation of that feature is seen.
-| Feature ID | Implementation | @@ -386,40 +382,60 @@[[[shacl12-profiling#packaging]]] | |||
|---|---|---|---|---|---|
| 2.3 | +[[[shacl12-profiling#rec-shapesgraph]]] | VocPub | -VocPub main validator: Line 1165 | ++ VocPub main validator: + source code, line 1166 + | |
| 2.4 | +[[[shacl12-profiling#rec-defined]]] | VocPub | -VocPub main validator: Line 18 | ++ VocPub main validator: + source code, line 18 + | |
| 2.5 | +[[[shacl12-profiling#rec-member]]] | VocPub | -+ | + VocPub main validator: + source code, line 1167 + | |
| 2.6 | +[[[shacl12-profiling#rec-imports]]] | VocPub | -+ | + VocPub GA variant validator: + source code, line 121 + | |
| 2.7 | -VocPub | -+ | [[[shacl12-profiling#persisting-validation]]] | +kurra | +
+
|
| [[[shacl12-profiling#profiling-of-shacl]]] | |||||
| 3.1 | -- | - | |||
| 3.4 | +
+ [[[shacl12-profiling#defining-profiles]]] + [[[shacl12-profiling#creating-profiles]]] + |
[[[shacl12-profiling#profiling-with-shacl]]] | |||
| 4.2.1 | +[[[shacl12-profiling#characterization]]] | ||||
| 4.2.2 | +[[[shacl12-profiling#reasoning]]] | ||||
| 4.2.3 | +[[[shacl12-profiling#hierarchies]]] | ||||
| 4.2.4 | +[[[shacl12-profiling#null-profiles]]] | [[[shacl12-profiling#vocabulary]]] | |||
| 5.1 | -- | - | |||
| 5.1.1 | -- | - | |||
| 5.1.2 | -- | - | |||
| 5.2 | -- | - | |||
| 5.2.1 | -- | - | |||
| 5.3 | -- | - | |||
| 5.3.1 | -- | - | |||
| 5.4 | -- | - | |||
| 5.5 | -- | - | |||
| 5.5.1 | -- | - | |||
| 5.5.2 | -- | - | |||
| 5.5.3 | -- | + | [[[shacl12-profiling#cls-shapesgraph]]] | +VocPub | ++ VocPub main validator: + source code, line 1166 + |
| 5.5.4 | -- | + | [[[shacl12-profiling#prop-imports]]] | +VocPub | ++ VocPub GA variant validator: + source code, line 121 + |
| 5.6 | -- | + | [[[shacl12-profiling#prop-member]]] | +VocPub | ++ VocPub main validator: + source code, line 1167 + |
| 5.6.1 | -- | + | [[[shacl12-profiling#cls-datagraph]]] | ++ kurra + | +
+ Output from kurra shacl validate -r provenance DATA-GRAPH -s SHAPES-GRAPH indicates the DATA-GRAPH inputs to the
+ sh:ValidationActivity is of type sh:DataGraph indicated with sh:usedDataGraph.
+ |
| 5.7 | -- | + | [[[shacl12-profiling#cls-conformstochapesgraph]]] | ++ kurra + | +
+ kurra will implement + |
| 5.8 | -- | + | [[[shacl12-profiling#cls-validationreport]]] | ++ kurra + | +
+ Output from kurra shacl validate -r provenance DATA-GRAPH -s SHAPES-GRAPH indicates
+ a sh:ValidationActivity instance that prov:generated a sh:ValidationReport.
+ |
| [[[shacl12-profiling#profiles]]] | +[[[shacl12-profiling#prop-conforms]]] | ++ kurra + | +
+ Output from kurra shacl validate -r provenance DATA-GRAPH -s SHAPES-GRAPH indicates
+ a sh:ValidationActivity instance that prov:generated a sh:ValidationReport
+ which indicates sh:coforms true or false.
+ |
||
| A.1 | -- | + | [[[shacl12-profiling#cls-validationagent]]] | ++ kurra + | +
+ Output from kurra shacl validate -r provenance DATA-GRAPH -s SHAPES-GRAPH indicates
+ a sh:ValidationActivity instance that was prov:wasAssociatedWith with a sh:ValidationAgent
+ instance containing details of the version of kurra used.
+ |
| A.2 | -- | + | [[[shacl12-profiling#cls-validationactivity]]] | ++ kurra + | +
+ Output from kurra shacl validate -r provenance DATA-GRAPH -s SHAPES-GRAPH indicates
+ a sh:ValidationActivity instance
+ |
| A.3 | -- | + | [[[shacl12-profiling#prop-useddatagraph]]] | ++ kurra + | ++ See details for kurra's implementation of 5.2 above. + |
| A.4 | -- | + | [[[shacl12-profiling#prop-usedshapesgraph]]] | ++ kurra + | +
+ Output from kurra shacl validate -r provenance DATA-GRAPH -s SHAPES-GRAPH indicates the SHAPES-GRAPH inputs to the
+ sh:ValidationActivity is of type sh:SHAPESGraph indicated with sh:usedShapesGraph.
+ |
| A.5 | -- | + | [[[shacl12-profiling#prop-generated]]] | ++ kurra + | ++ See details for kurra's implementation of 5.3 above. + |
| A.6 | -- | + | [[[shacl12-profiling#prop-wasassotiatedwith]]] | ++ kurra + | ++ See details for kurra's implementation of 5.4 above. + |
| A.7 | -- | + | [[[shacl12-profiling#cls-shape]]] | +VocPub | +
+ VocPub main validator:
+ source code, line 17.
+ Implemented via concrete subclass sh:NodeShape
+ |
| [[[shacl12-profiling#null-profile-examples]]] | +[[[shacl12-profiling#prop-isdefinedby]]] | +VocPub | ++ VocPub main validator: + source code, line 18 + | ||
| B.1 | -- | + | [[[shacl12-profiling#rule-conformsttoshapesgraph]]] | ++ kurra + | +
+ kurra will implement + |
| B.2 | -- | + | [[[shacl12-profiling#rule-conformstospecification]]] | ++ kurra + | +
+ kurra will implement + |
+
| [[[shacl12-profiling#prov-o-alignment]]] | ++ kurra + | +
+ kurra will implement + |
|||