sttl.owl.disjointunion.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 {
   "DisjointUnion("  
     if (?iu,
	st:call-template(st:interunion, ?in),
	?in) 
      " "  ?y  
    ")" 
}
where {
  ?in owl:disjointUnionOf ?y 
  bind (
   exists { 
     ?in owl:intersectionOf | owl:unionOf | 
      owl:complementOf | owl:datatypeComplementOf ?z 
   } 
  as ?iu)
}