query.zeta.rq Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of corese-gui Show documentation

Corese is a Semantic Web Factory (triple store and SPARQL endpoint) implementing RDF, RDFS, SPARQL 1.1 Query and Update, Shacl. STTL. LDScript.

The newest version!

#
# zeta(2) = pi^2 / 6
# zeta(4) = pi^4 / 90
#
prefix ex: 
select 
 (power(6  * ex:zeta(?n, 2), 1/2) as ?pi1)
 (power(90 * ex:zeta(?n, 4), 1/4) as ?pi2)
where {
     
}
values ?n { 1000 }

 function ex:fun(?n, ?p) { 1 / power(?n, ?p) }
  
 function ex:zeta(?n, ?p) {
    reduce(kg:plus, (maplist(ex:fun, xt:iota(?n), ?p)))
}