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

template {
  ?suc  
}
where {

  ?in rdfs:subClassOf ?y
  
  filter (
    isURI(?in) ||
    not exists { ?x ?p ?in }
  )
  
  bind (st:call-template-with(st:subexp,   st:subClassExpression, ?in)  as ?b1)
  bind (st:call-template-with(st:superexp, st:superClassExpression, ?y) as ?b2) 
  bind (?b1 && ?b2 as ?suc)
  filter if (us:mytrace(?suc), xt:print("error axiom:", ?in, rdfs:subClassOf, ?y, ?b1, ?b2), true)
  
  filter(st:alreadyVisited(?in, "subClass", ?suc))

}