Added starttiMe SHACL and test.

Author: EttoreM

rocrate_validator/profiles/five-safes-crate/may/13_validation_phase.ttl

@@ -0,0 +1,57 @@
+# 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:DownloadActionMayHaveStartTimeIfBegun
+    a sh:NodeShape ;
+    sh:name "ValidationCheck" ;
+    sh:description "" ;
+    sh:target [
+        a sh:SPARQLTarget ;
+        sh:select """
+            PREFIX schema: <http://schema.org/>
+            PREFIX shp:    <https://w3id.org/shp#>
+            SELECT ?this
+            WHERE {
+                ?this schema:additionalType shp:ValidationCheck ;
+                      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 "ValidationCheck MAY have the `startTime` property if `actionStatus` is either ActiveActionStatus, CompletedActionStatus or FailedActionStatus." ;
+        sh:message "ValidationCheck MAY have the `startTime` property if `actionStatus` is either ActiveActionStatus, CompletedActionStatus or FailedActionStatus." ;
+    ] .

tests/integration/profiles/five-safes-crate/test_5src_13_validation_phase.py

@@ -109,7 +109,7 @@ def test_5src_validation_check_has_action_status_with_not_allowed_value():
     )
 
 
-# # ----- SHOULD fails tests
+# ----- SHOULD fails tests
 
 def test_5src_root_data_entity_does_not_mention_validation_check_entity():
     sparql = (SPARQL_PREFIXES + """
@@ -200,3 +200,35 @@ def test_5src_Validation_check_does_not_have_action_status_property():
         profile_identifier="five-safes-crate",
         rocrate_entity_mod_sparql=sparql,
     )
+
+
+# ----- MAY fails tests
+
+def test_5src_download_action_does_not_have_start_time():
+    sparql = (
+        SPARQL_PREFIXES
+        + """
+        DELETE {
+            ?s schema:startTime ?time .
+        }
+        WHERE {
+            ?s schema:additionalType shp:ValidationCheck ;
+               schema:startTime ?time .
+        }
+        """
+    )
+
+    do_entity_test(
+        rocrate_path=ValidROC().five_safes_crate_result,
+        requirement_severity=Severity.OPTIONAL,
+        expected_validation_result=False,
+        expected_triggered_requirements=["ValidationCheck"],
+        expected_triggered_issues=[
+            (
+                "ValidationCheck MAY have the `startTime` property if `actionStatus` "
+                "is either ActiveActionStatus, CompletedActionStatus or FailedActionStatus."
+            )
+        ],
+        profile_identifier="five-safes-crate",
+        rocrate_entity_mod_sparql=sparql,
+    )