sttl.owlqltc.superexpowlqltc.restrict.rq Maven / Gradle / Ivy

Go to download

template {
	?suc
}
where {
	?in a owl:Restriction ;
	  owl:onProperty ?p
	
	 bind ( exists { ?in owl:someValuesFrom ?e
	  		  filter (isURI(?e)) 
	  		}
     as ?suc )
      
     filter(st:visit(st:err("failSuper"), ?in, ?suc))
}