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.

The newest version!

template {
	?suc
}
where {
	# for triples with predicate ?p
	# there must be something like: ?s rdfs:subClassOf|owl:equivalentClass ?in 
	
	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)
}