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

Go to download

Show more of this group Show more artifacts with this name
Show all versions of corese-core Show documentation

Corese is a Semantic Web Factory (triple store and SPARQL endpoint) implementing RDF, RDFS, SPARQL 1.1 Query and Update.

There is a newer version: 4.6.1

Show newest version

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))
}