
query.euler.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
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!
prefix ex:
select
(ex:sigma(?n) as ?e) ?n
where {
bind (unnest(xt:iota(12)) as ?n)
}
order by desc(?n)
function xt:fac(?n) {
if (?n = 0, 1, ?n * xt:fac(?n - 1))
}
function ex:fun(?n) {
1 / xt:fac(?n)
}
function ex:sigma(?n) {
reduce (rq:plus, maplist (ex:fun, xt:iota(0, ?n)))
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy