• Home
• fr.inria.wimmics
• kgtool
• 3.2.1
• source code
• individual.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.owlqltc.axiomowlqltc.individual.rq Maven / Gradle / Ivy

template {
	?suc
}
where {
	?in a owl:NamedIndividual, ?t
	
	filter (
		isURI(?in) ||
		not exists { ?x ?p ?in }
	)
	
	bind (isURI(?t) ||
		(?t = owl:Class)
	as ?suc)
	filter(st:visit(st:err("individual"), ?in, ?suc))
}