sttl.owlrl.axiom.last.rq Maven / Gradle / Ivy

Go to download

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

  { ?in owl:disjointUnionOf ?y }
  union { ?in a owl:ReflexiveProperty }
  # unionOf|intersectionOf only as argument of other expression, hence not in URI but in bnode
  # [owl:unionOf()] rdfs:subClassOf ...
  union { ?in owl:unionOf|owl:intersectionOf ?y  filter isURI(?in) }
  
  filter(st:alreadyVisited(?in, "fail", false))
 
}
limit 1