• Home
• fr.inria.corese
• corese-core
• 4.6.1
• source code
• key.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.owlrl.axiom.key.rq Maven / Gradle / Ivy

template  {
  ?suc  
}
where {
  ?in owl:hasKey ?z
  
   bind (
     st:call-template-with(st:subexp, st:subClassExpression, ?in)
   as ?suc)
   
   filter(st:visit(st:err("key"), ?in, ?suc))
   
}