• Home
• fr.inria.wimmics
• kgtool
• 3.2.1
• source code
• minus.rq

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

sttl.spintc.template.minus.rq Maven / Gradle / Ivy

#
#
prefix sp:  

template {
  ?suc
}
where {
   
   ?minus a sp:Minus 
   ?exp (sp:where|sp:elements)/rdf:rest*/rdf:first ?minus
   
   ?minus (! sp:void)*/(sp:subject|sp:predicate|sp:object) ?v
   ?v sp:varName ?n
   
   bind( exists { 
      ?exp (sp:where|sp:elements)/rdf:rest* ?r 
      ?r rdf:first ?e
      filter (?e != ?minus)
      filter exists { ?r rdf:rest*/rdf:first ?minus }
      bind (st:call-template(st:bound, ?e, ?n) as ?suc)
    } 
    as ?suc)
    
   filter(st:visit(st:fail, ?minus, ?suc))
}