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

template  {
  ?suc  
}
where {
  ?in owl:AllDisjointClasses ?z
  
   bind (
    not exists { 
      ?z rdf:rest*/rdf:first ?e      
      filter(! st:call-template-with(st:subexp, st:subClassExpression, ?e))
    }
    as ?suc
  )
  
  filter(st:alreadyVisited(?in, "disjointClass", ?suc))

}