sttl.owleltc.axiomowleltc.disjointclassall.rq Maven / Gradle / Ivy

Go to download

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