Skip to content

Commit

Permalink
Update dev RPs for better demo
Browse files Browse the repository at this point in the history
  • Loading branch information
benjaminaaron committed May 8, 2024
1 parent db22af6 commit 19839d5
Show file tree
Hide file tree
Showing 5 changed files with 13 additions and 125 deletions.
20 changes: 0 additions & 20 deletions shacl/dev-daemmung.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -14,23 +14,3 @@ ff:MainPersonShape a sh:NodeShape ;
sh:minCount 1 ;
sh:maxCount 1 ;
] .

ff:CitizenOwnsHouseShape
a sh:NodeShape ;
sh:targetClass ff:Citizen ;
sh:property [
sh:path ff:ownsHouse ;
sh:class ff:House ;
sh:minCount 1 ;
] .

ff:HouseEligibleForInsulationBonusShape
a sh:NodeShape ;
sh:targetClass ff:House ;
sh:property [
sh:path ff:roofArea ;
sh:minCount 1 ;
sh:datatype xsd:integer ;
sh:minInclusive 50 ;
sh:message "50" ;
] .
35 changes: 4 additions & 31 deletions shacl/dev-eauto.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -7,36 +7,9 @@ ff:eautoRP a ff:RequirementProfile ;
ff:title "E-Auto Zuschuss" ;
ff:category ff:Klimaschutz .

ff:CitizenOwnsElectricCarShape
a sh:NodeShape ;
ff:MainPersonShape a sh:NodeShape ;
sh:targetClass ff:Citizen ;
sh:property [
sh:path ff:ownsCar ;
sh:qualifiedValueShape ff:ElectricCarShape ;
sh:qualifiedMinCount 1 ;
] ;
sh:property [
sh:path ff:hasResidence ;
sh:in ("Berlin") ;
] ;
sh:property [
sh:path ff:hasDrivingLicense ;
sh:in (true) ;
] .

ff:ElectricCarShape
a sh:NodeShape ;
sh:targetClass ff:Car ;
sh:property [
sh:path rdf:type ;
sh:hasValue ff:Car ;
] ;
sh:property [
sh:path ff:carType ;
sh:hasValue "Electric" ;
] ;
sh:property [
sh:path ff:carAge ;
sh:maxInclusive 5 ;
sh:datatype xsd:integer ;
] .
sh:path ff:hasResidence ;
sh:in ("Berlin") ;
] .
18 changes: 0 additions & 18 deletions shacl/dev-kindergeld.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -13,22 +13,4 @@ ff:MainPersonShape a sh:NodeShape ;
sh:path ff:hasIncomeBrutto ;
sh:minCount 1 ;
sh:maxCount 1 ;
] ;
sh:property [
sh:path ff:hasIncomeNetto ;
sh:minCount 1 ;
sh:maxCount 1 ;
] .

ff:ChildAllowanceEligibilityShape
a sh:NodeShape ;
sh:targetClass ff:Citizen ;
sh:property [
sh:path ff:hasChildren ;
sh:minCount 1 ;
] ;
sh:property [
sh:path ff:hasIncomeNetto ;
sh:maxInclusive 2000 ;
sh:datatype xsd:integer ;
] .
31 changes: 4 additions & 27 deletions shacl/dev-solar.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -8,35 +8,12 @@ ff:solarRP a ff:RequirementProfile ;
ff:created "2023-10-26"^^xsd:date ;
ff:title "Solarpanel Förderung" ;
ff:category ff:Waermewende, ff:Klimaschutz ;
ff:queryType ff:dev ;
ff:targetGroup ff:Citizen ;
ff:fundingProvider ff:GermanState .

ff:CitizenOwnsHouseShape
a sh:NodeShape ;
ff:MainPersonShape a sh:NodeShape ;
sh:targetClass ff:Citizen ;
sh:property [
sh:path ff:ownsHouse ;
sh:qualifiedValueShape [
sh:class ff:House ; # Shape that values must conform to, in this case, a House
] ;
sh:qualifiedMinCount 1 ; # At least one value must conform to the above shape
] .

ff:HouseEligibleForSolarFundingShape
a sh:NodeShape ;
sh:targetClass ff:House ;
sh:property [
sh:path ff:roofArea ;
sh:minCount 1 ;
sh:datatype xsd:integer ;
sh:minInclusive 100 ;
sh:message "100" ;
] ;
sh:property [
sh:path ff:houseAge ;
sh:minCount 1 ;
sh:datatype xsd:integer ;
sh:maxInclusive 20 ;
sh:message "20" ;
] .
sh:path ff:hasResidence ;
sh:in ("Berlin") ;
] .
34 changes: 5 additions & 29 deletions shacl/dev-wohngeld.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -7,37 +7,13 @@ ff:wohngelddevRP a ff:RequirementProfile ;
ff:author ff:benjaminaaron ;
ff:created "2023-11-01"^^xsd:date ;
ff:title "Wohngeld dev" ;
ff:queryType ff:dev ;
ff:targetGroup ff:Citizen ;
ff:fundingProvider ff:GermanState .

ff:CitizenRentsFlatShape
a sh:NodeShape ;
ff:MainPersonShape a sh:NodeShape ;
sh:targetClass ff:Citizen ;
sh:property [
sh:path ff:rentsFlat ;
sh:class ff:Flat ;
sh:minCount 1 ;
] .

ff:FlatAreaShape
a sh:NodeShape ;
sh:targetClass ff:Flat ;
sh:property [
sh:path ff:livingArea ;
sh:datatype xsd:integer ;
sh:maxInclusive 60 ;
sh:message "60" ;
sh:minCount 1 ;
] .

ff:IncomeShape
a sh:NodeShape ;
sh:targetClass ff:Citizen ;
sh:property [
sh:path ff:hasIncomeNetto ;
sh:datatype xsd:integer ;
sh:maxInclusive 2000 ;
sh:message "2000" ;
sh:minCount 1 ;
] .
sh:path ff:paysRentCold ;
sh:minCount 1 ;
sh:maxCount 1 ;
] .

0 comments on commit 19839d5

Please sign in to comment.