:TechniqueIOTermShape leaf node


URI

https://ontology.solveit-df.org/solveit/core/shapes/TechniqueIOTermShape

Label

SOLVE-IT Technique Input and Output Term Shape

Description

Checks that every term a technique names as an input or an output is declared as a class, a datatype property or an object property, and not as something else.

Target Classes (1)

Shape Properties

Instances of solveit-core:Technique can have the following properties:

PROPERTY

MIN COUNT

MAX COUNT

TYPE

solveit-core:Technique
1
solveit-core:hasCASEInputClass
solveit-core:hasCASEOutputClass
solveit-core:techniqueID 1 1

Implementation

@prefix : <https://ontology.solveit-df.org/solveit/core/shapes/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix solveit-core: <https://ontology.solveit-df.org/solveit/core/> .

:TechniqueIOTermShape a sh:NodeShape ;
    rdfs:label "SOLVE-IT Technique Input and Output Term Shape"@en ;
    rdfs:comment "Checks that every term a technique names as an input or an output is declared as a class, a datatype property or an object property, and not as something else."@en ;
    sh:property [ sh:message "A technique output must be a CASE/UCO class, datatype property or object property, and must be declared as one in the graph."@en ;
            sh:nodeKind sh:IRI ;
            sh:or ( [ sh:class owl:Class ] [ sh:class owl:DatatypeProperty ] [ sh:class owl:ObjectProperty ] ) ;
            sh:path solveit-core:hasCASEOutputClass ],
        [ sh:message "A technique input must be a CASE/UCO class, datatype property or object property, and must be declared as one in the graph."@en ;
            sh:nodeKind sh:IRI ;
            sh:or ( [ sh:class owl:Class ] [ sh:class owl:DatatypeProperty ] [ sh:class owl:ObjectProperty ] ) ;
            sh:path solveit-core:hasCASEInputClass ] ;
    sh:targetClass solveit-core:Technique .