@prefix rule: <tag:stardog:api:rule:> .
@prefix qb: <http://purl.org/linked-data/cube#> .
@prefix sdmx-dimension: <http://purl.org/linked-data/sdmx/2009/dimension#> .
@prefix leri: <http://lod.cedar-project.nl:8888/linked-edit-rules/resource/> .
@prefix ler: <http://bit.ly/linked-edit-rules#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix eg: <http://example.org/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix cedarterms: <http://bit.ly/cedar#> .

# cedar1: observations have one occupation at most

leri:cedar1 a rule:SPARQLRule, ler:EditRule ;
   rule:content """
       PREFIX leri: <http://lod.cedar-project.nl:8888/linked-edit-rules/resource/>
       PREFIX cedarterms: <http://bit.ly/cedar#>
       PREFIX qb: <http://purl.org/linked-data/cube#>
       PREFIX ler: <http://bit.ly/linked-edit-rules#>
     IF {
       ?obs a qb:Observation.
       ?obs cedarterms:occupationPosition ?pos1 .
       ?obs cedarterms:occupationPosition ?pos2 .
       FILTER (?pos1 != ?pos2)
     }
     THEN {
       ?obs ler:inconsistentWith leri:cedar1 .
     }
   """;
   ler:scope qb:Observation ;
   ler:component cedarterms:occupationPosition ;
   rdfs:label "One occupation position per observation"@en ;
   rdfs:comment "A population count can't account for two occupation positions at the same time"@en ;
   dc:creator <http://www.albertmeronyo.org/> ;
   dc:date "2015-01-08T16:03:40+01:00"^^xsd:dateTime
.

# cedar2: population counts must be integers

leri:cedar2 a rule:SPARQLRule, ler:EditRule ;
   rule:content """
       PREFIX leri: <http://lod.cedar-project.nl:8888/linked-edit-rules/resource/>
       PREFIX cedarterms: <http://bit.ly/cedar#>
       PREFIX qb: <http://purl.org/linked-data/cube#>
       PREFIX ler: <http://bit.ly/linked-edit-rules#>
       PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
     IF {
       ?obs a qb:Observation .
       ?measure a qb:MeasureProperty .
       ?obs ?measure ?population .
       FILTER (datatype(?population) != xsd:integer)
     }
     THEN {
       ?obs ler:inconsistentWith leri:cedar2 .
     }
   """;
   ler:scope qb:Observation ;
   ler:component qb:MeasureProperty, cedarterms:population ;
   rdfs:label "class(population) == 'integer'"@en ;
   rdfs:comment "A population count must be an integer number"@en ;
   dc:creator <http://www.albertmeronyo.org/> ;
   dc:date "2015-01-08T16:03:40+01:00"^^xsd:dateTime
.

# cedar3: population > 0

leri:cedar3 a rule:SPARQLRule, ler:EditRule ;
   rule:content """
       PREFIX leri: <http://lod.cedar-project.nl:8888/linked-edit-rules/resource/>
       PREFIX cedarterms: <http://bit.ly/cedar#>
       PREFIX qb: <http://purl.org/linked-data/cube#>
       PREFIX ler: <http://bit.ly/linked-edit-rules#>
       PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
     IF {
       ?obs a qb:Observation .
       ?measure a qb:MeasureProperty .
       ?obs ?measure ?population .
       FILTER (?population <= 0)
     }
     THEN {
       ?obs ler:inconsistentWith leri:cedar3 .
     }
   """;
   ler:scope qb:Observation ;
   ler:component qb:MeasureProperty, cedarterms:population ;
   rdfs:label "population > 0"@en ;
   rdfs:comment "A population count must be a positive number"@en ;
   dc:creator <http://www.albertmeronyo.org/> ;
   dc:date "2015-01-08T16:03:40+01:00"^^xsd:dateTime
.

# cedar4: dataset meets Benford's Law
# See http://en.wikipedia.org/wiki/Benford%27s_law

leri:cedar4 a rule:SPARQLRule, ler:EditRule ;
   rule:content """
       PREFIX leri: <http://lod.cedar-project.nl:8888/linked-edit-rules/resource/>
       PREFIX cedarterms: <http://bit.ly/cedar#>
       PREFIX qb: <http://purl.org/linked-data/cube#>
       PREFIX ler: <http://bit.ly/linked-edit-rules#>
       PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
       PREFIX stardog: <tag:stardog:api:> 
     IF {
       ?ds a qb:DataSet .
       ?measure a qb:MeasureProperty .
       FILTER (stardog:R("benford", ?ds, ?measure) <= 0.05)
     }
     THEN {
       ?obs ler:inconsistentWith leri:cedar4 .
     }
   """;
   ler:scope qb:DataSet ;
   ler:component qb:MeasureProperty, cedarterms:population ;
   rdfs:label "benford(ds)$p.value > 0.05'"@en ;
   rdfs:comment "Population counts must meet Benford's Law"@en ;
   dc:creator <http://www.albertmeronyo.org/> ;
   dc:date "2015-01-08T16:03:40+01:00"^^xsd:dateTime
.