sttl.owlrl.subexp.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 subClassExpression ?in
# return false in this case, otherwise template fails (return nothing)
#
template {
  false
}
where {
    ?in ?p ?y
    
    bind (
      ?p in (
        owl:intersectionOf, owl:unionOf, owl:oneOf,
	owl:onProperty, owl:hasValue, owl:someValuesFrom,
	rdf:type,
	# these two axioms have subClassExpression arguments:
	rdfs:subClassOf, owl:disjointWith, owl:hasKey)
      as ?suc)
      	
      filter (st:visit(st:err("failSub"), ?in, ?suc))
      filter (! ?suc)
}
limit 1