Addressed Alex' comments.

Author: EttoreM

rocrate_validator/profiles/five-safes-crate/must/6_workflow_reference.ttl

@@ -56,6 +56,15 @@ five-safes-crate:mainEntityHasProperConformsTo
     sh:name "mainEntity" ;
     sh:description "The mainEntity of the RootDataEntity MUST have a conformsTo property with an IRI starting with https://w3id.org/workflowhub/workflow-ro-crate" ;
     sh:targetObjectsOf schema:mainEntity ;
+        sh:property [
+        a sh:PropertyShape ;
+        sh:name "conformsTo" ;
+        sh:path purl:conformsTo ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:severity sh:Violation ;
+        sh:message "mainEntity MUST have a conform property." ;
+    ] ;
     sh:sparql [
         a sh:SPARQLConstraint ;
         sh:name "conformsTo" ;

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

@@ -89,6 +89,36 @@ def test_5src_root_data_entity_main_entity_not_dataset_iri():
     )
 
 
+def test_5src_main_entity_conformsTo_absent():
+    """
+    Test a Five Safes Crate where the mainEntity does not have the purl:conformsTo property
+    (we remove from the fraph the triplet mainEntity conformsTo ?o).
+    """
+    sparql = (
+        SPARQL_PREFIXES
+        + """
+        PREFIX purl: <http://purl.org/dc/terms/>
+        DELETE {
+            ?dataset purl:conformsTo ?o .
+        }
+        WHERE {
+            <./> schema:mainEntity ?dataset .
+            ?dataset purl:conformsTo ?o .
+        }
+        """
+    )
+
+    do_entity_test(
+        rocrate_path=ValidROC().five_safes_crate_request,
+        requirement_severity=Severity.REQUIRED,
+        expected_validation_result=False,
+        expected_triggered_requirements=["mainEntity"],
+        expected_triggered_issues=["mainEntity MUST have a conform property."],
+        profile_identifier="five-safes-crate",
+        rocrate_entity_mod_sparql=sparql,
+    )
+
+
 def test_5src_main_entity_conformsTo_invalid():
     """
     Test a Five Safes Crate where the mainEntity's purl:conformsTo IRI does NOT start with