diff --git a/validation/pilot1/pilot1_gearbox_anomaly_detection_output2.shacl.ttl b/validation/pilot1/pilot1_gearbox_anomaly_detection_output2.shacl.ttl new file mode 100644 index 0000000000000000000000000000000000000000..a8079dc99d5fa2cb3f4e78ed59eeecf537b9bc30 --- /dev/null +++ b/validation/pilot1/pilot1_gearbox_anomaly_detection_output2.shacl.ttl @@ -0,0 +1,48 @@ +@prefix brick: <https://brickschema.org/schema/1.1/Brick#> . +@prefix cdt: <http://w3id.org/lindt/custom_datatypes#> . +@prefix plt: <https://w3id.org/platoon/> . +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . +@prefix seas: <https://w3id.org/seas/> . +@prefix time: <http://www.w3.org/2006/time#> . +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . +@prefix saref4bldg: <https://saref.etsi.org/saref4bldg/> . +@prefix ener-prop: <https://w3id.org/enershare/property/> . +@prefix ener-fail: <https://w3id.org/enershare/failure/>. +@prefix sh: <http://www.w3.org/ns/shacl#> . +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . +@prefix ener: <https://enershare.eu/shapes/p1#> . + +ener:TimeShape + a sh:NodeShape ; + sh:property [ + sh:path time:inXSDDateTime ; + sh:minCount 1 ; + sh:maxCount 1 ; + sh:datatype xsd:string ; + ] ; + sh:targetClass time:Instant . + +ener:FailureProbabilityPropertyShape + a sh:NodeShape ; + sh:property [ + sh:path seas:evaluation ; + sh:minCount 1 ; + sh:nodeKind sh:IRI ; + ] ; + sh:targetClass ener-prop:FailureProbabilityProperty . + +ener:FailureProbabilityEvaluationShape + a sh:NodeShape ; + sh:property [ + sh:path seas:evaluatedSimpleValue ; + sh:minCount 1 ; + sh:datatype cdt:dimensionless ; + ] ; + sh:property [ + sh:path seas:hasTemporalContext ; + sh:minCount 1 ; + sh:maxCount 1 ; + sh:nodeKind sh:IRI ; + ] ; + sh:targetClass ener-prop:FailureProbabilityEvaluation . +