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

# priwa1: prices must be decimals

leri:priwa1 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 ?price .
       FILTER (datatype(?price) != xsd:decimal)
     }
     THEN {
       ?obs ler:inconsistentWith leri:priwa1 .
     }
   """;
   ler:scope qb:Observation ;
   ler:component qb:MeasureProperty, cedarterms:price ;
   rdfs:label "class(price) == 'decimal'"@en ;
   rdfs:comment "A price must be a decimal number"@en ;
   dc:creator <http://www.albertmeronyo.org/> ;
   dc:date "2015-01-08T16:03:40+01:00"^^xsd:dateTime
.

# priwa2: price > 0

leri:priwa2 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 ?price .
       FILTER (?price <= 0)
     }
     THEN {
       ?obs ler:inconsistentWith leri:priwa2 .
     }
   """;
   ler:scope qb:Observation ;
   ler:component qb:MeasureProperty, cedarterms:price ;
   rdfs:label "price > 0"@en ;
   rdfs:comment "A price must be a positive number"@en ;
   dc:creator <http://www.albertmeronyo.org/> ;
   dc:date "2015-01-08T16:03:40+01:00"^^xsd:dateTime
.

# priwa3: dataset follows a lognormal distribution
# See http://en.wikipedia.org/wiki/Probability_distribution#Common_probability_distributions

leri:priwa3 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("ks.test", "log(rnorm)", ?ds, ?measure) <= 0.05)
     }
     THEN {
       ?obs ler:inconsistentWith leri:priwa3 .
     }
   """;
   ler:scope qb:DataSet ;
   ler:component qb:MeasureProperty, cedarterms:price ;
   rdfs:label "ks.test(ds, log(rnorm))$p.value > 0.005"@en ;
   rdfs:comment "Prices must follow a log-normal distribution"@en ;
   dc:creator <http://www.albertmeronyo.org/> ;
   dc:date "2015-01-08T16:03:40+01:00"^^xsd:dateTime
.