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 Show documentation

There is a newer version: 3.2.1

prefix ex: 
select                                 
 (ex:sigma(?n) as ?e) ?n
  
where {

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) {
   apply (kg:plus, maplist (ex:fun, xt:iota(0, ?n)))
}



bind (unnest(xt:iota(12)) as ?n)
}
order by desc(?n)