sttl.owl.disjointwith.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

#
# tricky case:
# subclassOf(intersectionOf() ?y)
# there are two templates for intersection/union 
# depending if it is embedded in subClassOf or not
#
template {
    "DisjointClasses("  
     if (bound(?z),
# special case: use a named template
	st:call-template(st:interunion, ?in),
	?in) 
      " "  ?y  
    ")" 
}
where {
  ?in owl:disjointWith ?y 
  optional { 
    { ?in owl:intersectionOf ?z } union { ?in owl:unionOf ?z } 
  }
}
#pragma { st:template st:priority 2 }