rocrate-validator/rocrate_validator/profiles/five-safes-crate/10_outputs.ttl at 2bc22622bc1ecda0394758214c365ddcc94e4ec8 · eScienceLab/rocrate-validator · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
# 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 sh: <http://www.w3.org/ns/shacl#> .
@prefix validator: <https://github.com/crs4/rocrate-validator/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .


#=== MUST shapes ===#
# (none)


#=== SHOULD shapes ===#

five-safes-crate:CreateActionHasResultIfActionCompleted
  a sh:NodeShape ;
  sh:name "CreateAction" ;
  sh:description "`CreateAction` with CompletedActionStatus SHOULD have the `schema:result` property." ;

  sh:target [
        a sh:SPARQLTarget ;
        sh:name "Result" ;
        sh:description "`CreateAction` with CompletedActionStatus SHOULD have the `schema:result` property." ;
        sh:prefixes ro-crate:sparqlPrefixes ;
        sh:select """
            SELECT ?this WHERE {
              ?this a schema:CreateAction ;
                      schema:actionStatus "http://schema.org/CompletedActionStatus" .
            }
        """
    ] ;


  sh:property [
    a sh:PropertyShape ;
    sh:name "Result" ;
    sh:path schema:result ;
    sh:minCount 1 ;
    sh:severity sh:Warning ;
    sh:message "`CreateAction` with CompletedActionStatus SHOULD have the `result` property." ;
  ] .


five-safes-crate:CreateActionResultOutputsHaveAllowedTypes
  a sh:NodeShape ;
    sh:name "Output" ;
    sh:description "Result SHOULD have a `@type` among an allowed set of values." ;
    sh:target [
      a sh:SPARQLTarget ;
      sh:select """
        PREFIX schema: <http://schema.org/>
        SELECT ?this
        WHERE {
          ?createAction a schema:CreateAction .
          ?createAction schema:result ?this .
        }
      """ ;
    ] ;
    sh:message "Result SHOULD have a `@type` among an allowed set of values." ;
    sh:severity sh:Warning ;
    sh:or (
      [
        sh:class schema:MediaObject;
      ]
      [
        sh:class schema:Dataset;
      ]
      [
        sh:class schema:Collection;
      ]
      [
        sh:class schema:DigitalDocument;
      ]
      [
        sh:class schema:PropertyValue;
      ]
    ) .


#=== MAY shapes ===#
# (none)