Implement Workflow Retrieval Phase Ruleset

rocrate_validator/profiles/five-safes-crate/may/11_workflow_execution_phase.ttl

@@ -25,7 +25,10 @@
 five-safes-crate:WorkflowexecutionObjectHasStartTimeIfBegun
     a sh:NodeShape ;
     sh:name "WorkflowExecution" ;
-    sh:description "The workflow execution object MAY have a startTime if execution was initiated." ;
+    sh:description (
+        "The workflow execution object MAY have a startTime if actionStatus is "
+        "either ActiveActionStatus, CompletedActionStatus or FailedActionStatus."
+    ) ;
 
     sh:target [
         a sh:SPARQLTarget ;
@@ -53,6 +56,12 @@ five-safes-crate:WorkflowexecutionObjectHasStartTimeIfBegun
         sh:minCount 1 ;
         sh:maxCount 1 ;
         sh:severity sh:Info ;
-        sh:description "The workflow execution object MAY have a startTime if execution was initiated." ;
-        sh:message "The workflow execution object MAY have a startTime if execution was initiated." ;
+        sh:description (
+            "The workflow execution object MAY have a startTime if actionStatus is "
+            "either ActiveActionStatus, CompletedActionStatus or FailedActionStatus."
+        ) ;
+        sh:message (
+            "The workflow execution object MAY have a startTime if actionStatus is "
+            "either ActiveActionStatus, CompletedActionStatus or FailedActionStatus."
+        ) ;
     ] .

rocrate_validator/profiles/five-safes-crate/may/14_workflow_retrieval_phase.ttl

@@ -0,0 +1,102 @@
+# Copyright (c) 2025 eScience Lab, The University of Manchester
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+
+@prefix ro: <./> .
+@prefix ro-crate: <https://github.com/crs4/rocrate-validator/profiles/ro-crate/> .
+@prefix five-safes-crate: <https://github.com/eScienceLab/rocrate-validator/profiles/five-safes-crate/> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix schema: <http://schema.org/> .
+@prefix purl: <http://purl.org/dc/terms/> .
+@prefix sh: <http://www.w3.org/ns/shacl#> .
+@prefix validator: <https://github.com/crs4/rocrate-validator/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+
+five-safes-crate:DownloadedWorkflowSHOULDExistAndBeReferencedByDownloadActionResult
+    a sh:NodeShape ;
+    sh:name "DownloadAction" ;
+    sh:description "Validates that DownloadAction result references an existing entity" ;
+    sh:targetClass schema:DownloadAction ;
+
+    sh:property [
+        a sh:PropertyShape ;
+        sh:name "Result" ;
+        sh:description "The result property must reference an existing entity in the RO-Crate" ;
+        sh:path schema:result ;
+        sh:minCount 1 ;
+        sh:nodeKind sh:IRI ;
+
+        sh:sparql [
+            a sh:SPARQLConstraint ;
+            sh:select """
+                PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+                PREFIX schema: <http://schema.org/>
+
+                SELECT $this $value
+                WHERE {
+                    $this schema:result $value .
+
+                    # Entity must have BOTH type AND name (proper definition)
+                    FILTER NOT EXISTS {
+                        $value rdf:type schema:Dataset .
+                    }
+                }
+            """ ;
+            sh:severity sh:Info ;
+            sh:message "The entity representing the downloaded workflow is not defined, OR is not referenced by `DownloadAction` --> `result`, OR is not of type `schema:Dataset`." ;
+        ] ;
+    ] .
+
+
+five-safes-crate:DownloadActionMayHaveStartTimeIfBegun
+    a sh:NodeShape ;
+    sh:name "DownloadAction" ;
+    sh:description (
+        "`DownloadAction` MAY have the `startTime` property if `actionStatus` "
+        "is either ActiveActionStatus, CompletedActionStatus or FailedActionStatus."
+    );
+
+    sh:target [
+        a sh:SPARQLTarget ;
+        sh:select """
+            PREFIX schema: <http://schema.org/>
+            PREFIX rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+
+            SELECT ?this
+            WHERE {
+                ?this rdf:type schema:DownloadAction ;
+                      schema:actionStatus ?status .
+                FILTER(?status IN (
+                    "http://schema.org/CompletedActionStatus",
+                    "http://schema.org/FailedActionStatus",
+                    "http://schema.org/ActiveActionStatus"
+                ))
+            }
+        """  ;
+    ] ;
+
+    sh:property [
+        a sh:PropertyShape ;
+        sh:name "StartTime" ;
+        sh:path schema:startTime ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:severity sh:Info ;
+        sh:description (
+            "`DownloadAction` MAY have the `startTime` property if `actionStatus` "
+            "is either ActiveActionStatus, CompletedActionStatus or FailedActionStatus."
+        );
+        sh:message "`DownloadAction` MAY have the `startTime` property if `actionStatus` is either ActiveActionStatus, CompletedActionStatus or FailedActionStatus." ;
+    ] .

rocrate_validator/profiles/five-safes-crate/must/14_workflow_retrieval_phase.ttl

@@ -0,0 +1,189 @@
+# Copyright (c) 2025 eScience Lab, The University of Manchester
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+@prefix ro: <./> .
+@prefix ro-crate: <https://github.com/crs4/rocrate-validator/profiles/ro-crate/> .
+@prefix five-safes-crate: <https://github.com/eScienceLab/rocrate-validator/profiles/five-safes-crate/> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix schema: <http://schema.org/> .
+@prefix purl: <http://purl.org/dc/terms/> .
+@prefix sh: <http://www.w3.org/ns/shacl#> .
+@prefix validator: <https://github.com/crs4/rocrate-validator/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+
+five-safes-crate:DownloadActionObjectMUSTHavesDescriptiveName
+    a sh:NodeShape ;
+    sh:name "DownloadAction" ;
+    sh:targetClass schema:DownloadAction ;
+    sh:description "" ;
+
+    sh:property [
+        a sh:PropertyShape ;
+        sh:name "name" ;
+        sh:description "DownloadAction MUST have a human readable name string." ;
+        sh:path schema:name ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:datatype xsd:string ;
+        sh:severity sh:Violation ;
+        sh:message "DownloadAction MUST have a human readable name string." ;
+    ] .
+
+five-safes-crate:DownloadActionStartTimeMUSTFollowISOStandard
+    a sh:NodeShape ;
+    sh:name "DownloadAction" ;
+    sh:description "" ;
+    sh:targetClass schema:DownloadAction ;
+
+    sh:property [
+        a sh:PropertyShape ;
+        sh:name "StartTime" ;
+        sh:minCount 0;
+        sh:path schema:startTime ;
+        sh:pattern "^[0-9]{4}-[0-9]{2}-[0-9]{2}[Tt][0-9]{2}:[0-9]{2}:[0-9]{2}([.|,][0-9]+)?(Z|z|[+-][0-9]{2}:[0-9]{2})$"  ;
+        sh:severity sh:Violation ;
+        sh:message "`DownloadAction` --> `startTime` MUST follows the RFC 3339 standard (YYYY-MM-DD'T'hh:mm:ss[.fraction](Z | ±hh:mm))." ;
+    ] .
+
+
+five-safes-crate:DownloadActionEndTimeMUSTFollowISOStandard
+    a sh:NodeShape ;
+    sh:name "DownloadAction" ;
+    sh:description "" ;
+    sh:targetClass schema:DownloadAction ;
+
+    sh:property [
+        a sh:PropertyShape ;
+        sh:name "EndTime" ;
+        sh:minCount 0;
+        sh:path schema:endTime ;
+        sh:pattern "^[0-9]{4}-[0-9]{2}-[0-9]{2}[Tt][0-9]{2}:[0-9]{2}:[0-9]{2}([.|,][0-9]+)?(Z|z|[+-][0-9]{2}:[0-9]{2})$" ;
+        sh:severity sh:Violation ;
+        sh:message "`DownloadAction` --> `endTime` MUST follows the RFC 3339 standard (YYYY-MM-DD'T'hh:mm:ss[.fraction](Z | ±hh:mm))." ;
+    ] .
+
+
+five-safes-crate:WorkflowSameAsAndRootDataEntityMainEntityMUSTBeTheSame
+    a sh:NodeShape ;
+    sh:name "Downloaded Workflow" ;
+    sh:description "" ;
+    sh:target [
+        a sh:SPARQLTarget ;
+        sh:select """
+            PREFIX schema: <http://schema.org/>
+            PREFIX rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+
+            SELECT ?this
+            WHERE {
+                ?this rdf:type schema:Dataset .
+                ?s rdf:type schema:DownloadAction ;
+                   schema:result ?this .
+            }
+        """ ;
+    ];
+
+    sh:sparql [
+        a sh:SPARQLConstraint ;
+        sh:select """
+            PREFIX schema: <http://schema.org/>
+            PREFIX rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+
+            SELECT $this
+            WHERE {
+                FILTER NOT EXISTS {
+                    $this schema:sameAs ?o .
+                    ?s schema:mainEntity ?o .
+                    # ?o rdf:type schema:Dataset .
+                }
+            }
+        """ ;
+        sh:severity sh:Violation ;
+        sh:description "The property `sameAs` of the entity representing the downloaded workflow MUST point to the same entity as `RootDataEntity` --> `mainEntity`." ;
+        sh:message "The property `sameAs` of the entity representing the downloaded workflow MUST point to the same entity as `RootDataEntity` --> `mainEntity`." ;
+    ] .
+
+
+five-safes-crate:DownloadedWorkflowDistributionAndDownloadActionObjectMUSTBeTheSame
+    a sh:NodeShape ;
+    sh:name "Downloaded Workflow" ;
+    sh:description "" ;
+    sh:target [
+        a sh:SPARQLTarget ;
+        sh:select """
+            PREFIX schema: <http://schema.org/>
+            PREFIX rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+
+            SELECT ?this
+            WHERE {
+                ?this rdf:type schema:Dataset .
+                ?s rdf:type schema:DownloadAction ;
+                   schema:result ?this .
+            }
+        """ ;
+    ];
+
+    sh:sparql [
+        a sh:SPARQLConstraint ;
+        sh:name "" ;
+        sh:select """
+            PREFIX schema: <http://schema.org/>
+            PREFIX rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+
+            SELECT $this
+            WHERE {
+                ?action rdf:type schema:DownloadAction .
+                FILTER NOT EXISTS {
+                    $this schema:distribution ?url .
+                    ?action schema:object ?url .
+                }
+            }
+        """  ;
+        sh:severity sh:Violation ;
+        sh:message "DownloadedWorkflow --> `distribution` MUST reference the same entity as `DownloadAction` --> `object`." ;
+    ] .
+
+
+five-safes-crate:DownloadActionActionStatusMUSTHaveAllowedValues
+    a sh:NodeShape ;
+    sh:name "DownloadAction" ;
+    sh:description "" ;
+
+    sh:target [
+        a sh:SPARQLTarget ;
+        sh:select """
+            PREFIX schema: <http://schema.org/>
+            PREFIX rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+
+            SELECT ?this
+            WHERE {
+                ?this rdf:type schema:DownloadAction ;
+                      schema:actionStatus ?status .
+            }
+        """ ;
+    ] ;
+
+    sh:property [
+        a sh:PropertyShape ;
+        sh:name "ActionStatus" ;
+        sh:path schema:actionStatus ;
+        sh:in (
+            "http://schema.org/PotentialActionStatus"
+            "http://schema.org/ActiveActionStatus"
+            "http://schema.org/CompletedActionStatus"
+            "http://schema.org/FailedActionStatus"
+        ) ;
+        sh:severity sh:Violation ;
+        sh:message "The value of actionStatus MUST be one of the allowed values: PotentialActionStatus; ActiveActionStatus; CompletedActionStatus; FailedActionStatus." ;
+    ] .