sttl.owltc.axiomowltc.badclassexpression.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 {
	# search all the triples how contains the predicate ?p
	VALUES ?p { owl:unionOf owl:intersectionOf owl:complementOf owl:oneOf }
	?in ?p ?z
	
	bind (
		st:call-template-with(st:classexpconformityowltc, st:checkConformity, ?in)
	as ?suc)
	
	filter(st:visit(st:err("axiomClassExp"), ?in, ?suc))
}