sttl.owleltc.classexpowleltc.last.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

#
# Check if there is an unauthorized OWL property for classExpression ?in
# return false in this case, otherwise the template fails (return nothing)
#

template {
	false
}
where {
	?in ?p ?y
	
	bind (
		?p in (
			owl:intersectionOf, owl:oneOf,
			owl:someValuesFrom, owl:onProperty,
			owl:hasValue, owl:hasSelf, rdf:type,
			
			# these axioms have classExpression argument
			owl:equivalentClass, rdfs:subClassOf,
			owl:disjointWith, owl:hasKey, owl:onClass
		)
	as ?suc)
			
	filter (st:visit(st:err("failClassExp"), ?in, ?suc))
	filter(! ?suc)
}
limit 1