Upload New File

validation/pilot1/pilot1_gearbox_anomaly_detection_output2.shacl.ttl

+@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 .
+