• Home
• fr.inria.wimmics
• kgtool
• 3.2.1
• source code
• last.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.last.rq Maven / Gradle / Ivy

#
# Forbidden in OWL RL
#
template {
  false
}
where {

  { ?in owl:disjointUnionOf ?y }
  union { ?in a owl:ReflexiveProperty }
  
  filter(st:alreadyVisited(?in, "fail", false))
 
}
limit 1