diff --git a/validation/pilot7/pilot7_service1_ef_input.shacl.ttl b/validation/pilot7/pilot7_service1_ef_input.shacl.ttl
new file mode 100644
index 0000000000000000000000000000000000000000..ac39478530252d94a8fd4b30c648ab3c35b4c4ab
--- /dev/null
+++ b/validation/pilot7/pilot7_service1_ef_input.shacl.ttl
@@ -0,0 +1,116 @@
+@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 rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@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-bldg: <https://w3id.org/enershare/building/> .
+@prefix ener: <https://enershare.eu/shapes/p1#> .
+@prefix sh:    <http://www.w3.org/ns/shacl#> .
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+
+ener:BuildingShape
+    a sh:NodeShape ;
+    sh:property [
+        sh:path ener-prop:hasTotalArea ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:property [
+        sh:path ener-prop:hasReferenceArea ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:property [
+        sh:path ener-bldg:hasNumberOfFloors ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:datatype xsd:int ;
+    ] ;
+    sh:property [
+        sh:path ener-bldg:hasNumberOfUndergroundFloors ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:datatype xsd:int ;
+    ] ;
+    sh:property [
+        sh:path ener-prop:hasInitialEnergeticPerformanceClass ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:property [
+        sh:path ener-prop:hasFinalEnergeticPerformanceClass ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:property [
+        sh:path ener-prop:hasInitialElectricEnergyConsumption ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:targetClass seas:Building .
+
+ener:BuildingCountShape
+    a sh:NodeShape ;
+    sh:targetNode seas:Building ;
+    sh:property [
+        sh:path [ sh:inversePath rdf:type ] ;
+        sh:minCount 1 ;
+    ] .
+
+ener:AreaPropertyShape
+    a sh:NodeShape ;
+    sh:property [
+        sh:path seas:evaluation ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:targetClass seas:AreaProperty .
+
+ener:AreaEvaluationShape
+    a sh:NodeShape ;
+    sh:property [
+        sh:path seas:evaluatedSimpleValue ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+    ] ;
+    sh:targetClass seas:Evaluation .
+
+ener:EnergyPerformanceLabelShape
+    a sh:NodeShape ;
+    sh:property [
+        sh:path rdf:type ;
+        sh:minCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:targetClass plt:EnergyPerformanceLabel .
+
+
+ener:ElectricEnergyConsumptionPropertyShape
+    a sh:NodeShape ;
+    sh:property [
+        sh:path seas:evaluation ;
+        sh:minCount 1 ;
+        sh:nodeKind sh:IRI ;
+    ] ;
+    sh:targetClass plt:ElectricEnergyConsumptionProperty .
+
+ener:ElectricEnergyConsumptionEvaluationShape
+    a sh:NodeShape ;
+    sh:property [
+        sh:path seas:evaluatedSimpleValue ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+        sh:datatype cdt:energy ;
+    ] ;
+    sh:targetClass plt:ElectricEnergyConsumptionEvaluation .